Verifique se as fórmulas abaixo são tautologias, contradições ou contingências.
(P Q) (Q wed>= P)

Passo 1

O enunciado pede para classificar a fórmula (P Q) (Q wed>= P) como tautologia, contradição ou contingência. O conteúdo é lógica proposicional e vamos usar tabela-verdade para ver em quais casos ela é verdadeira ou falsa.

Passo 2

Vamos montar a tabela-verdade para as proposições P e Q e para os componentes P Q, Q wed>= P e toda a fórmula (P Q) (Q wed>= P)).

Passo 3

Avaliando linha a linha:
  1. Para P=V, Q=V: temos P Q = V, Q wed>= P = V, logo (P Q) (Q wed>= P) = V V = V.
  2. Para P=V, Q=F: P Q = F, Q wed>= P = F, logo (P Q) (Q wed>= P) = F F = V.
  3. Para P=F, Q=V: P Q = V, Q wed>= P = F, logo (P Q) (Q wed>= P) = V F = F.
  4. Para P=F, Q=F: P Q = V, Q wed>= P = F, logo (P Q) (Q wed>= P) = V F = F.

Passo 4

Vimos que a fórmula é verdadeira em alguns casos e falsa em outros. Isso significa que ela não é sempre verdadeira (não é tautologia) nem sempre falsa (não é contradição), mas depende dos valores de P e Q.

Resposta

Contingência.

Exercícios relacionados