Logika

Logikai műveletek és értéktáblázataik

Kulcsszavak: logika, igaz, hamis, negáció, diszjunkció, konjukció, implikáció, ekvivalencia

Azokat a kifejezésket, amelyekről egyértelműen megállapíthatók, hogy igazaka vagy hamisak, kijelentéseknek (állításoknak) nevezzük.
Egy kijelentés (állítás) lehet igaz (T) vagy hamis (⊥).
P, Q, R,... kijelentések (állítások)

Példa:

Ez a lány szép. - nem kijelentés.

Ma szerda van. - kijelentés.

Negáció (¬) (nem)

P
¬P

Diszjunkció (∨) (vagy)

P
Q
P∨Q

Konjukció (∧) (és)

P
Q
P∧Q

Implikáció (⇒) (ha ..., akkor...)

P
Q
P⇒Q

Ekvivalencia (⇔) (akkor és csak akkor)

P
Q
P⇔Q