Lógica Proposicional - Relações Entre Proposições
Definições
-
Proposições Independentes: Suas tabelas verdade apresentam
todas as combinações de valores lógicos possíveis.
(00 , 01 , 10 e 11). Exemplo: p e q.
-
Proposições Dependentes: Não ocorrem todas
as combinações. Exemplo: p e p.q
-
Relação de Implicação: Não ocorre
10. Notação: p => q ( p implica em q ). Exemplo: pq => p
-
Relação de Equivalência: Não ocorrem
nem 10 nem 01 (Tabelas são iguais). Notação p <=>
q ( p é equivalente a q ). Exemplo: p<->q <=> (p->q).(q->p)
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.