Lógica Proposicional - Relações Entre Proposições


Definições

p
q
p<->q
p->q
q->p
(p->q).(q->p)
0
0
1
1
1
1
0
1
0
1
0
0
1
0
0
0
1
0
1
1
1
1
1
1

Equivalências Notáveis

Dupla Negação:
(p')' <=> p
Leis Idempotentes:
p + p <=> p
p.p <=>
Leis Comutativas
p + q <=> q + p
p.q <=> q.p
Leis Associativas
p + ( q + r ) <=> ( p + q ) + r
p.(q.r) <=> (p.q).r
Leis de De Morgan
(p.q)' <=> p'+q'
(p+q)' <=> p'.q'
Leis Distributivas
p.(q+r) <=> (p.q)+(p.r)
p+(q.r) <=> (p+q).(p+r)
Bicondicional
 p<->q <=> (p->q).(q->p)
Contrapositiva
p->q <=> q'->p'

Propriedades Importantes

Para demonstrar que p => q basta (é necessário e suficiente) mostrar que p -> q é uma tautologia.
Para demonstrar que p <=> q basta (é necessário e suficiente) mostrar que p <-> q é uma tautologia.