

Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Considere a construção da tabela-verdade abaixo
Linha | A | B | C | A → (A → ~C) ↔ (B V C) |
1 | V | V | V | |
2 | V | V | F | |
3 | V | F | V | |
4 | V | F | F | |
5 | F | V | V | |
6 | F | V | F | |
7 | F | F | V | |
8 | F | F | F |
Os resultados obtidos para a proposição A → (A → ~C) ↔ (B V C), na ordem crescente das linhas ímpares, são
FFVF.
FVVV.
FFVV.
VFFV.