LEGILE ECHIVALENEI PROPOZIIILOR

Legea Identitate Dominaie Idempotena Comutativitate Asociativitate Legea dublei negri (negarea negaiei) Legea negaiei (a terului exclus) DeMorgan Distributivitate Absorbia I
pT p
pF F
pp p pq qp

SAU
pF p
pT T
pp p pq qp

(p q ) r
pqr

p (q r ) (p ) p p p F

(p q ) r
pqr

p (q r )

p p T

(p q ) (p) (q ) p (q r ) (p q ) (p r ) p (p q ) p

(p q ) (p) (q ) p (q r ) (p q ) (p r ) p (p q ) p

IDENTITI NTRE MULIMI

Intersecie Identitate Dominaie Idempotena Comutativitate Asociativitate Legea complementului Legea mediului exclus Legile DeMorgan Distributivitate Absorbia
A A =
AU = A A =

Reuniune
A = A AU = U

A A = A
AB = B A
A (B C ) = (A B ) C = ABC
A = A

A A = A
AB = B A
A (B C ) = (A B ) C = ABC
A A =U

A (B C ) = (A B ) (A C )

AB = AB

A (B C ) = (A B ) (A C )

AB = AB

A (A B ) = A

A (A B ) = A

LEGILE ARGUMETAIEI
Adugare Conjuncie Simplificare Modus ponens
p pq p q pq pq p p pq q q

Modus tolens

pq p pq

Silogism ipotetic

qr p r pq

Silogism disjunctiv

p q pq

Rezolvare

p r q r

Instaniere universal Instaniere existenial Generalizare universal Generalizare existenial

P (a) P (a)
xP (x ) xP (x )

xP (x ) xP (x )

P (a) pentru un a oarecare

P (a) pentru unumite elemente a