Verifique se as fórmulas abaixo são tautologias, contradições ou contingências.
Passo 1
O enunciado pede para classificar a fórmula
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:
. Logo
Resposta
Tautologia