Osnovne ekvivalence v izjavnem in predikatnem računu

Konjunkcija in disjunkcija

p ∧ q ⇐⇒ q ∧ p p ∨ q ⇐⇒ q ∨ p (komutativnost)
p ∧ (q ∧ r) ⇐⇒ (p ∧ q) ∧ r p ∨ (q ∨ r) ⇐⇒ (p ∨ q) ∨ r (asociativnost)
p ∧ p ⇐⇒ p p ∨ p ⇐⇒ p (idempotentnost)
p ∧ > ⇐⇒ p p ∨ ⊥ ⇐⇒ p (nevtralni element)
p ∧ ⊥ ⇐⇒ ⊥ p ∨ > ⇐⇒ > (absorbcijski element)
(p ∧ q) ∨ r ⇐⇒ (p ∨ r) ∧ (q ∨ r) (p ∨ q) ∧ r ⇐⇒ (p ∧ r) ∨ (q ∧ r) (distributivnost)
p ∧ (p ∨ q) ⇐⇒ p p ∨ (p ∧ q) ⇐⇒ p (absorbcija)

Implikacija
(p ⇒ q) ⇐⇒ (¬p ∨ q) ⇐⇒ (¬q ⇒ ¬p)

(> ⇒ q) ⇐⇒ q (⊥ ⇒ q) ⇐⇒ >
(p ⇒ >) ⇐⇒ > (p ⇒ ⊥) ⇐⇒ ¬p
(p ⇒ p) ⇐⇒ > (p ⇒ (q ⇒ r)) ⇐⇒ (p ∧ q ⇒ r)
(p ∨ q ⇒ r) ⇐⇒ (p ⇒ r) ∧ (q ⇒ r) (p ⇒ q ∧ r) ⇐⇒ (p ⇒ q) ∧ (p ⇒ r)

Ekvivalenca

(p ⇔ q) ⇐⇒ (q ⇔ p) (p ⇔ >) ⇐⇒ p
(p ⇔ p) ⇐⇒ > (p ⇔ ⊥) ⇐⇒ ¬p
(p ⇔ q) ⇐⇒ (p ⇒ q) ∧ (q ⇒ p)

Kvantifikatorja

(∀ x ∈ A . ∀ y ∈ B . p(x, y)) ⇐⇒ (∀ y ∈ B . ∀ x ∈ A . p(x, y))

(∃ x ∈ A . ∃ y ∈ B . p(x, y)) ⇐⇒ (∃ y ∈ B . ∃ x ∈ A . p(x, y))
(∀ x ∈ A . p(x) ∧ q(x)) ⇐⇒ (∀ x ∈ A . p(x)) ∧ (∀ x ∈ A . q(x))
(∃ x ∈ A . p(x) ∨ q(x)) ⇐⇒ (∃ x ∈ A . p(x)) ∨ (∃ x ∈ A . q(x))

(∀ x ∈ A . p(x)) ⇐⇒ ¬∃ x ∈ A . ¬p(x) (∃ x ∈ A . p(x)) ⇐⇒ ¬∀ x ∈ A . ¬p(x)

(∀ x ∈ ∅ . p(x)) ⇐⇒ > (∃ x ∈ ∅ . p(x)) ⇐⇒ ⊥
(∀ x ∈ A . >) ⇐⇒ > (∃ x ∈ A . ⊥) ⇐⇒ ⊥
(∀ x ∈ A . ⊥) ⇐⇒ A = ∅ (∃ x ∈ A . >) ⇐⇒ A 6= ∅

Negacija

¬> ⇐⇒ ⊥ ¬⊥ ⇐⇒ > ¬(¬p) ⇐⇒ p

¬(p ⇒ q) ⇐⇒ p ∧ ¬q ¬(p ⇔ q) ⇐⇒ (p ∧ ¬q) ∨ (¬p ∧ q)

¬(p ∧ q) ⇐⇒ ¬p ∨ ¬q ¬(p ∨ q) ⇐⇒ ¬p ∧ ¬q
¬(∀ x ∈ A . p(x)) ⇐⇒ ∃ x ∈ A . ¬p(x) ¬(∃ x ∈ A . p(x)) ⇐⇒ ∀ x ∈ A . ¬p(x)