Questão Q1758363

Sendo A, B, C e D proposições falsas, qual o valor lógico da proposição E abaixo?

E : { [ ( A→ B ) ↔ ∼ C ] ∨ D } ∨ ∼ ( A→ ∼ D )?

Alternativas

E não tem valor lógico

Falso

Não é possível determinar o valor lógico de E

Verdadeiro

E é verdadeiro e falso

Comentários

A, B, C, D são falsos

{ [ ( A→ B ) ↔ ∼ C ] ∨ D } ∨ ∼ ( A→ ∼ D )
Substitui cada letra pelo valor falso:
{ [ ( F→ F ) ↔ ∼ F ] ∨ F } v ∼ ( F→ ∼ F )

{ [ ( V ) ↔ V ] ∨ F } v ∼ ( F→ V )
{ [ ( V ) ↔ V ] ∨ F } ∨ ∼( V )
{ [ V ] ∨ F } ∨ ( F )
V v F
V
{ [ ( F→ F ) ↔ V ] ∨ F } ∨ ∼ ( F→ V)
{ [ V <---> V ] v F } v ~ (V)
{ [V] v F} v F
V v F
V
@Aldenilson Santana cuidado! Você está equivocado quanto à resolução.

Pensei, inclusive, igual a você, pois assim conseguimos ganhar tempo com questões de, aparentemente, demorada resolução.
Entretanto, a sentença ∼ ( A→ ∼ D ) não é verdadeira. Vejamos:

Como A é falso, concluímos que A→ ~D será verdadeiro (pois se trata de um "se então") e sua negação, logicamente, será falsa. O que o fez acertar foi que a primeira sentença resultou em verdadeira.
Esse ponto de interrogação no final em.

SóProvas