LEGILE ECHIVALENŢEI PROPOZIŢIILOR

Legea ŞI SAU
Identitate p∧T ≡ p p∨F ≡ p
Dominaţie p∧F ≡F p∨T ≡T
Idempotenţa p∧p≡ p p∨p ≡ p
Comutativitate p∧q ≡q∧p p∨q ≡q∨p
p ∧ (q ∧ r ) ≡ p ∨ (q ∨ r ) ≡
Asociativitate (p ∧ q ) ∧ r ≡ (p ∨ q ) ∨ r ≡
p∧q∧r p∨q∨r
Legea dublei negări ¬(¬p ) ≡ p
(negarea negaţiei)
Legea negaţiei
p ∧ ¬p ≡ F p ∨ ¬p ≡ T
(a terţului exclus)
DeMorgan ¬(p ∧ q ) ≡ (¬p) ∨ (¬q ) ¬(p ∨ q ) ≡ (¬p) ∧ (¬q )
Distributivitate p ∧ (q ∨ r ) ≡ (p ∧ q ) ∨ (p ∧ r ) p ∨ (q ∧ r ) ≡ (p ∨ q ) ∧ (p ∨ r )
Absorbţia p ∧ (p ∨ q ) ≡ p p ∨ (p ∧ q ) ≡ p

IDENTITĂŢI ÎNTRE MULŢIMI

Intersecţie Reuniune
Identitate A∩U = A A∪∅ = A
Dominaţie A∩∅ = ∅ A∪U = U
Idempotenţa A∩ A = A A∪ A = A
Comutativitate A∩B = B∩ A A∪B = B∪ A
A ∩ (B ∩ C ) = A ∪ (B ∪ C ) =
Asociativitate (A ∩ B ) ∩ C = (A ∪ B ) ∪ C =
A∩B∩C A∪B∪C
Legea complementului A = A
Legea mediului exclus A∩ A =∅ A∪ A =U
Legile DeMorgan A∩B = A∪B A∪B = A∩B
A ∩ (B ∪ C ) = A ∪ (B ∩ C ) =
Distributivitate
(A ∩ B ) ∪ (A ∩ C ) (A ∪ B ) ∩ (A ∪ C )
Absorbţia A ∩ (A ∪ B ) = A A ∪ (A ∩ B ) = A
 LEGILE ARGUMETAŢIEI
p
Adăugare
∴p∨q
p
Conjuncţie q
∴p∧q
p∧q
Simplificare
∴p
p
Modus ponens p→q
∴q
¬q
Modus tolens p→q
∴ ¬p
p→q
Silogism ipotetic q→r
∴p → r
p∨q
Silogism disjunctiv ¬p
∴q
p∨q
Rezolvare ¬p ∨ r
∴q ∨ r
∀xP (x )
Instanţiere universală
∴ P (a)
∃xP (x )
Instanţiere existenţială
∴ P (a)
P (a) pentru un a oarecare
Generalizare universală
∴ ∀xP (x )
P (a) pentru unumite elemente a
Generalizare existenţială
∴ ∃xP (x )