Reguły wnioskowania

1
Łacińskie nazwy reguł (oprócz reguły odrywania) nie są istotne.
p −→ q, p
q
p −→ q, ∼ q
∼p
p ∨ q, ∼ p
q
p ∨ q, ∼ q
p
∼ (p ∧ q), p
∼q
∼ (p ∧ q), q
∼p
∼ (∼ p)
p
p
∼ (∼ p)
p∧q
p
p, q
p∧q
p
p∨q
p ←→ q
p −→ q
p −→ q, q −→ p
p ←→ q
p −→ q, q −→ r
p −→ r
p −→ q, r −→ s, p ∨ r
q∨s
p ∨ q, (∼ p) ∨ r
q∨r
∼ (p ∨ q)
(∼ p) ∧ (∼ q)
modus ponens (potwierdza przez potwierdzenie)
modus tollens
modus tollendo ponens (potwierdza przez przeczenie)
modus tollendo ponens
modus ponendo tollens (zaprzecza przez potwierdzenie)
modus ponendo tollens
podwójne zaprzeczenie
podwójne zaprzeczenie
opuszczanie czynnika koniunkcji
reguła koniunkcji
dodawanie składnika alternatywy
osłabianie równoważności
reguła równoważności
sylogizm hipotetyczny
konstruktywny dylemat
rezolucja
prawa de Morgana
(∼ p) ∧ (∼ q)
∼ (p ∨ q)
prawa de Morgana
∼ (p ∧ q)
(∼ p) ∨ (∼ q)
prawa de Morgana
(∼ p) ∨ (∼ q)
∼ (p ∧ q)
prawa de Morgana