Question

Sobre a expressão s=(A v B) ➡️ (A v B) podemos afirmar que será verdadeira para :

Answer 1

Resposta:

Alternativa A.

Explicação:

Dá para resolver utilizando tabelas verdade, mas a formatação fica muito ruim, então vou escrever por extenso.

A implicação nos diz duas coisas:

1) se (A v B') é verdadeiro, então (A v B)' também é. Nesse caso:

• se A é verdadeiro: então (A v B) é verdadeiro, logo (A v B)' é falso. Então A não pode ser verdadeiro.
• se B é verdadeiro: pelo mesmo motivo, não pode ser verdadeiro.
• A e B falsos: (A v B') é verdadeiro, e (A v B)' é verdadeiro. Funciona

2) se (A v B)' é falso, então (A v B') é falso. Disso:

• se A é verdadeiro: (A v B') é verdadeiro. Então A não pode ser verdadeiro.
• se B é verdadeiro: (A v B)' é falso se A é falso e (A v B') é falso se A é falso. Encontramos outra solução.
• Se B e A são falsos: (A v B') é verdadeiro. Então não funciona.