LEGILE ECHIVALENEI PROPOZIIILOR

Legea

SAU

Identitate

pT p

pF p

Dominaie

pF F

pT T

Idempotena
Comutativitate

pp p

pp p

pq qp

pq qp

p (q r )

Asociativitate

(p q ) r

p (q r )

(p q ) r

pqr

Legea dublei negri

(negarea negaiei)
Legea negaiei
(a terului exclus)

pqr
(p ) p

p p F

p p T

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

Identitate
Dominaie
Idempotena
Comutativitate
Asociativitate

Intersecie

Reuniune

AU = A

A = A

A =

AU = U

A A = A

A A = A

AB = B A

AB = B A

ABC

ABC

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

Legea complementului

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

A = A

Legea mediului exclus

A A =

A A =U

Legile DeMorgan

AB = AB

AB = AB

Distributivitate

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

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

Absorbia

A (A B ) = A

A (A B ) = A

LEGILE ARGUMETAIEI
p

Adugare

pq
p
q

Conjuncie

pq
pq

Simplificare

p
p
pq

Modus ponens

q
q
pq

Modus tolens

p
pq
qr

Silogism ipotetic

p r
pq
p

Silogism disjunctiv

q
pq
p r

Rezolvare

q r

xP (x )

Instaniere universal

P (a)

xP (x )

Instaniere existenial
Generalizare universal
Generalizare existenial

P (a)

P (a) pentru un a oarecare

xP (x )

P (a) pentru unumite elemente a

xP (x )