Tõeväärtustabelid (2)

Tõeväärtustabelid
Tähtsus järjestus: (); ¬, &, , →, ≡
A
¬B
Eitus, muudab tõeväärtust vastupidiseks.
t
v
v
t
„ja, ning, ka, aga, kuid“
A
B
A & B
Konjunktsioon on tõene ainult siis, kui kõik tema osalaused on tõesed.
t
t
t
t
v
v
v
t
v
v
v
v

„või“
A
B
A  B
Disjunktsioon on väär ainult siis, kui kõik tema osalaused on väärad.
t
t
t
t
v
t
v
t
t
v
v
v

„Kui …, siis“
A
B
A → B
Implikatsioon on väär ainult siis, kui eeldus on tõena ja järeldus on väär.
eeldus -> järeldus
t
t
t
t
v
v
v
t
t
v
v
t

„on võrdne“
A
B
A ≡ B
Ekvivalents on tõene siis, kui tema osalausete tõeväärtused on võrdsed.
t
t
t
t
v
v
v
t
v
v
v
t