fi ensimmäisen kertaluvun logiikka
määritelmä
yksilöolioita koskeva predikaattilogiikka
selite
Ensimmäisen kertaluvun predikaattilogiikan muuttujat ovat yksilömuuttujia, jolloin kaikki kvantifioinnit koskevat vain yksilöitä. Klassiseen logiikkaan sisältyy ensimmäisen kertaluvun predikaattilogiikka.
Koostumussuhteinen alakäsite:
termi