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

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ó ( $\neg$ ) (nem)

$P$	$\neg P$
$⊤$	$⊥$
$⊥$	$⊤$

Diszjunkció ( $\lor$ ) (vagy)

$P$	$Q$	$P \lor Q$
$⊤$	$⊤$	$⊤$
$⊤$	$⊥$	$⊤$
$⊥$	$⊤$	$⊤$
$⊥$	$⊥$	$⊥$

Konjukció ( $\land$ ) (és)

$P$	$Q$	$P \land Q$
$⊤$	$⊤$	$⊤$
$⊤$	$⊥$	$⊥$
$⊥$	$⊤$	$⊥$
$⊥$	$⊥$	$⊥$

Implikáció ( $\Rightarrow$ ) (ha ... akkor...)

$P$	$Q$	$P \Rightarrow Q$
$⊤$	$⊤$	$⊤$
$⊤$	$⊥$	$⊥$
$⊥$	$⊤$	$⊤$
$⊥$	$⊥$	$⊤$

Ekvivalencia ( $\Leftrightarrow$ ) (akkor és csak akkor)

$P$	$Q$	$P \Leftrightarrow Q$
$⊤$	$⊤$	$⊤$
$⊤$	$⊥$	$⊥$
$⊥$	$⊤$	$⊥$
$⊥$	$⊥$	$⊤$

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

Általános tudnivalók
Jelölések, kapcsolatok a matematikában
Számelmélet
Számhalmazok
Prímszámok - Prímtényezős felbontás
Oszthatósági szabályok
Legnagyobb közös osztó, legkisebb közös töbszörös
Műveletk racionális számokkal
Binominális tétel
Binomiális tétel
Kombinatorika
Permutáció
Kombináció
Variáció
Halmazok
Műveletek halmazokkal
Logikai szita formula
Halmazműveletek azonosságai
Descartes-szorzat
Relációk és azok tulajdonságai
Logika
Logikai műveletek és értéktáblázataik
Logikai műveletek azonosságai
Gráfok
Gráfelmélet - elnevezések, összefüggések

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

Negáció (¬) (nem)

Diszjunkció (∨) (vagy)

Konjukció (∧) (és)

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

Ekvivalencia (⇔) (akkor és csak akkor)

Negáció ( $\neg$ ) (nem)

Diszjunkció ( $\lor$ ) (vagy)

Konjukció ( $\land$ ) (és)

Implikáció ( $\Rightarrow$ ) (ha ... akkor...)

Ekvivalencia ( $\Leftrightarrow$ ) (akkor és csak akkor)