IŠVEDIMO TAISYKLĖS EKVIVALENCIJOS TAISYKLĖS

Modus ponens (MP) Dvigubas neigimas (DN)

p -> q p = ~~p
p /‫؞‬q
Duplikacija (Dup)
Modus tollens (MT)
p ≡ (p · p)
p -> q p ≡ (p ˅ p)
~q / ‫~ ؞‬p
Komutacija (Com)
Hipotetinis silogizmas (HP)
(p · q) ≡ (q · p)
p -> q (p ˅ q) ≡ (q ˅ p)
q -> r / ‫ ؞‬p -> r
Asociacija (Assoc)
Disjunktyvus silogizmas (DS)
[(p · q) · r] ≡ [p · (q · r)]
p˅q [(p ˅ q) ˅ r] ≡ [p ˅ (q ˅ r)]
~p / ‫ ؞‬q
Distribucija (Dist)
Absorbcija (Abs)
[(p ˅ q) · (p ˅ r)] ≡ [p ˅ (q · r)]
p -> q / ‫ ؞‬p -> (p · q)
[p · (q ˅ r)] ≡ [(p · q) ˅ (p · r)]
Konstruktycvioji dilema (CD)
Demorgano taisyklės (Dem)
(p -> r) · (q -> s)
~(p · q) ≡ (~p ˅ ~q)
p˅q /‫؞‬r˅s
~(p ˅ q) ≡ (~p · ~q)
Simplicikacija (Simp)
Materialioji implikacija (MI)
p·q /‫؞‬p
(p -> q) ≡ (~p ˅ q)
p·q /‫؞‬q
Kontrapozicija (Contr)
Konjukcija (Conj)
(p -> q) ≡ (~q -> ~p)
p
q / ‫ ؞‬p· q Ekspozicija (Exp)
Adicija (Add) [(p · q) -> r] ≡ [p -> (q -> r)]
p / ‫؞‬p ˅ q Materialioji ekvivalencija (ME)
(p ≡ q) ≡ [(p -> q) · (q -> p)]