Questão
(A→~B) ^ (~D V B) ^ D ~A
A
Para resolver a expressão lógica dada, precisamos analisar cada parte da expressão composta:
- (A→~B): A implicação A→~B é equivalente a ~A V ~B.
- (~D V B): Esta é uma disjunção simples.
- D: Esta é uma proposição simples.
- ~A: Esta é a negação de A.
A expressão completa é: (~A V ~B) ^ (~D V B) ^ D ^ ~A.
Para que a expressão completa seja verdadeira, todas as partes conectadas por ^ (E lógico) devem ser verdadeiras simultaneamente.
- A parte (~A V ~B) é verdadeira se A for falsa ou B for falsa.
- A parte (~D V B) é verdadeira se D for falsa ou B for verdadeira.
- A parte D é verdadeira se D for verdadeira.
- A parte ~A é verdadeira se A for falsa.
Para satisfazer todas essas condições simultaneamente:
- A deve ser falsa (para satisfazer ~A).
- D deve ser verdadeira (para satisfazer D).
- B deve ser falsa (para satisfazer ~B na primeira parte e permitir que ~D V B seja verdadeira com D verdadeira).
Portanto, a única configuração que satisfaz todas as condições é A falsa, B falsa, D verdadeira. Assim, a resposta correta é A.