Equivalncias Lgicas (Propriedades)

Idenpotncia
p p p
p p p
Comutativa
p q q p
p q q p
Associativa
p (q r) (p q) r
p (q r) (p q) r
Distributiva
p (q r) (p q) (p r)
p (q r) (p q) (p r)
Dupla negao
p p
DeMorgan
(p q) p q
(p q) p q
Absoro
p (p q) p
p (p q) p)
Condicional
pq ~p v q
Complemento (terceiro excludo e contradio)
p v ~p v
p ~p F
Identidade (elemento neutro)
p V p
p v F p
Elemento dominante (absorvente)
*P v V V
*p ^ F F
Bicondicional
p q (p q) (q p)
p q (p q) v (~p ~q)
Contraposio
p q q p
Reduo ao absurdo
*p q p q F
Importao-Exportao
*p q r p (q r)