Loginiai operatoriai

~ neigimo operatorius (reikšmė: ne)

. konjunkcija (reikšmė: ir)

v disjunkcija (reikšmė: arba)

⊃ implikacija (reikšmė: jei-tai)

≡ ekvivalencija (reikšmė: jei ir tik jei-tai)

Operatorių reikšmių lentelė

p q . v ⊃ ≡
T T T T T T
T K K T K K
K T K T T K
K K K K T T

Tiesos matricos lentelė dvireikšmėje teiginių logikoje

p q
T T
T K
K T
K K

Formulės rūšies nustatymas matricos metodu

pvz.: (p⊃q) . (~q v ~p)

p q ~q ~p p⊃q ~q v ~p (p⊃q) . (~q v ~p)

T T K K T K K
T K T K K T K
K T K T T T T
K K T T T T T
QED.: Formulė atsitiktinė