Matematikai logika: Ítéletek, állítások, melyek igazak, vagy hamisak.
Predikatum.
Itélet: olyan állitás, melynek csak azt a tulajdonságát vesszük figyelembe, hogy igaz, vagy hamis. Def: Az igaz és hamis tulajdonságokat logikai ítéleteknek nevezzük. Jele: ­=igaz,Ż=hamis (A továbbiakban igaz=i, hamis=h).
Elemi és összetett ítéletek:
Def: Elemi ítéletnek nevezzük azokat az ítéleteket, amelyeket nem bonthatunk fel egyszerűbb ítéletekre.
Összetett ítélet amelyik nem elemi.
Itéletmuvelet:
Def: Itéletműveletnek nevezzük az olyan műveletet, amelyet ítéleteken végrehajtva ismét ítéleteket kapunk és a kapott ítélet logikai értékét a komponensek logikai értékei, valamint a végrehajtott műveletek egyértelműen meghatározzák.

Negáció: Az itélet negációjának nevezzük, azt az ítéletet, amely (akkor és csak akkor) igaz, ha az A ítélet hamis.Jele: Ř

A	-A
h	i
i	h

Diszjunkció (vagy):
Az A és B ítéletek diszjunkciójának nevezzük azt az ítéletet, amelynek logikai értéke (akkor és csak akkor) hamis , ha A és B ítélet is hamis. Jele: v.

A	B	AvB
i	i	i
i	h	i
h	i	i
h	h	h

Kizáró vagy (xor): igaz, ha bármelyik igaz, de akkor nem ha mindkettő igaz, vagy mindkető hamis. Mindkettő nem teljesülhet egyszerre.

A	B	AxorB
i	i	h
i	h	i
h	i	i
h	h	h

Konjunkció (és):
Az A és B ítéletek konjunkciójának nevezzük azt az ítéletet, amelynek logikai értéke akkor és csak akkor igaz, ha mindkét állítás igaz. Jele: Ů

A	B	AŮB
i	i	i
i	h	h
h	i	h
h	h	h

Implikáció:
A előtagú és B utótagú implikációnak nevezzük azt az ítéletet, amelynek logikai értéke (akkor és csak akkor) hamis, ha előtagjának logikai értéke igaz és az utótag logikai értéke hamis. Jele: ®

A	B	A®B
i	i	i
i	h	h
h	i	i
h	h	i

Ekvivalencia:
Az A és B ítéletek ekvivalenciájának nevezzük azt az ítéletet, amelynek logikai értéke (akkor és csak akkor) igaz, ha A és B ítéletek logikai értéke azonos. Jele: Ű

A	B	AŰB
i	i	i
i	h	h
h	i	h
h	h	i

Tautológia:
Azonosan igaz.
Precedencia:
Egy logikai művelet hatásköre az a formula,vagy formulák, amelyen, vagy amelyeken, ezt a műveletet el kell végezni.A logikai összekötőjelek hatáskörét a logikai összekötőjelek prioritása és az esetleges zárójelezés alapján állapíthatjuk meg. Precedencia, prioritás: (precedencia rendszer, prioritási sorrend) Műveleti sorrend.