Quando possível, encontre uma interpretação que torne falsa cada uma das fórmulas abaixo. Quando não for possível, justifique.
((P vee neg Q) wed>= Q) (P wed>= Q)

Passo 1

O enunciado pede para encontrar uma interpretação (valores de verdade para P e Q) que torne falsa a fórmula
((P vee neg Q) wed>= Q) to (P wed>= Q)
Isso envolve lógica proposicional, em particular o conceito de implicação e tautologia: uma implicação só é falsa quando o antecedente é verdadeiro e o consequente é falso.

Passo 2

Para ver se existe essa situação, observe o antecedente e simplifique-o usando propriedades de álgebra booleana. Temos
(P vee neg Q) wed>= Q = (P wed>= Q) vee (neg Q wed>= Q)
Como neg Q wed>= Q é sempre falso, o antecedente reduz-se a
(P wed>= Q)

Passo 3

Substituindo na fórmula original, ela fica
(P wed>= Q) to (P wed>= Q),
o que é do tipo A to A, sempre verdadeiro para qualquer valoração de A. Logo não há interpretação que torne a fórmula falsa.

Resposta

Não é possível encontrar interpretação que a torne falsa, pois a fórmula é uma tautologia: ela se reduz a (P wed>= Q) to (P wed>= Q), sempre verdadeira.

Exercícios relacionados