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

Passo 1

O enunciado pede para classificar a fórmula neg(P Q) (P neg Q) como tautologia, contradição ou contingência. O conteúdo é lógica proposicional e vamos usar equivalências lógicas e a definição de implicação.

Passo 2

Usamos as equivalências de implicação: P Qequiv lnot P lor Q. Logo
lnot(P Q)equiv lnot(lnot P lor Q)equiv P land lnot Q e também
P lnot Qequiv lnot P lor lnot Q

Resposta

Tautologia

Exercícios relacionados