Escolar Documentos
Profissional Documentos
Cultura Documentos
Exemplificação:
a) p q, p q, p q
b) p q, p q, q p
A tabela-verdade de “p q” é a seguinte:
p q pq
V V F
V F F
F V F
F F V
A tabela-verdade de “p q” é a seguinte:
p q pq
V V F
V F V
F V V
F F V
p q pq
V V F
V F V
F V V
F F F
Diz-se que uma proposição P(p, q, r,...) implica logicamente ou apenas implica
uma proposição Q(p, q, r,...), se Q é verdadeira todas as vezes que P é
verdadeira.
Em outros termos, uma proposição P implica logicamente ou apenas
implica uma proposição Q todas as vezes que nas respectivas tabelas-verdade
dessas duas proposições, onde na última coluna de P aparece V, o mesmo
acontece na última coluna de V.
Indica-se que a proposição P(p, q, r,...) implica logicamente a proposição
Q(p,q,r,...) com a notação:
Exemplos:
Demonstrar a implicação lógica entre as proposições abaixo:
a) (p q) ~p e q
b) (p q) ~q e ~p
Diz-se que uma proposição P(p, q, r,...) equivale logicamente ou apenas equivale
a uma proposição Q(p, q, r,...), se a última coluna de ambas as proposições
apresentam resultados iguais.
Em outros termos, uma proposição P equivale logicamente ou apenas
equivale a uma proposição Q todas as vezes que nas respectivas tabelas-verdade
dessas duas proposições, onde na última coluna de P aparece V, o mesmo
acontece na última coluna de Q e onde na última coluna de P aparece F também
ocorre o mesmo na última coluna de Q.
Indica-se que a proposição P(p, q, r,...) implica logicamente a proposição
Q(p,q,r,...) com a notação:
Exemplos:
Demonstrar a equivalência lógica entre as proposições abaixo:
a) ~(p q) e ~p ^ ~q
Exercícios:
a) (~p q) (q ~r)
b) ((p q) (q r)) (r p)
c) (~p ~q) ((q r) p)
d) ((p ~p) q) (q r)
a) (p q) r e p ~r ~q
b) (p q) (p r) e pqr
c) pq e (p q) ~(p q)
d) pq e (p q) (p q)