LEGILE ECHIVALENEI PROPOZIIILOR

Legea I SAU
Identitate pT p pF p
Dominaie pF F pT T
Idempotena pp p pp p
Comutativitate pq qp pq qp
p (q r ) p (q r )
Asociativitate (p q ) r (p q ) r
pqr pqr
Legea dublei negri (p ) p
(negarea negaiei)
Legea negaiei
p p F p p T
(a terului 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 )
Absorbia p (p q ) p p (p q ) p

IDENTITI NTRE MULIMI

Intersecie Reuniune
Identitate AU = A A = A
Dominaie A = AU = U
Idempotena A A = A A A = A
Comutativitate AB = B A AB = B A
A (B C ) = A (B C ) =
Asociativitate (A B ) C = (A B ) C =
ABC ABC
Legea complementului A = A
Legea mediului exclus A A = A A =U
Legile DeMorgan AB = AB AB = AB
A (B C ) = A (B C ) =
Distributivitate
(A B ) (A C ) (A B ) (A C )
Absorbia A (A B ) = A A (A B ) = A
 LEGILE ARGUMETAIEI
p
Adugare
pq
p
Conjuncie q
pq
pq
Simplificare
p
p
Modus ponens pq
q
q
Modus tolens pq
p
pq
Silogism ipotetic qr
p r
pq
Silogism disjunctiv p
q
pq
Rezolvare p r
q r
xP (x )
Instaniere universal
P (a)
xP (x )
Instaniere existenial
P (a)
P (a) pentru un a oarecare
Generalizare universal
xP (x )
P (a) pentru unumite elemente a
Generalizare existenial
xP (x )