Para cada uma das proposições compostas abaixo, encontre uma proposição equivalente que não envolva condicionais:
Passo 1
O enunciado pede para eliminar o conectivo condicional em
.
O conteúdo é lógica proposicional, onde usamos a equivalência
O conteúdo é lógica proposicional, onde usamos a equivalência
para reescrever implicações sem o “
”.
Passo 2
Aplicando a equivalência em
, temos
Passo 3
Simplificando
para
, obtemos