Na Lógica Simbólica Formal, verifique que
Passo 1
O enunciado pede para verificar que
Isso envolve equivalências lógicas e tautologias. Para resolver, vamos usar a definição de bicondicional:
Passo 2
Aplicando essa definição em
, temos
Passo 3
Agora aplicamos em
:
Como
e
, isso vira
Passo 4
Repare que ambas as fórmulas reduzem exatamente a
Logo
o que faz
uma tautologia.
uma tautologia.
Resposta
A fórmula
é uma tautologia.