Question

3 - Construa as tabelas-verdade para as seguintes proposições:

I - A V ¬A
II - A ^ B → B
III - (A V ~A) → (B ^ ~B)
IV - ¬[(A ^ ¬B) → ¬C]
V - (A ^ B) V C → A ^ (B V C)

Com base nas teorias sobre tabela-verdade, assinale o que for mais correto:
Alternativas

Alternativa 1:
A proposição I é sempre falsa.

Alternativa 2:
A proposição IV é sempre falsa.

Alternativa 3:
As proposições I e II são sempre verdadeiras.

Alternativa 4:
As proposições III e V são sempre falsas.

Alternativa 5:
As proposições III, IV e V são sempre falsas.

Answer 1

Alternativa 3, as proposições I e II são sempre verdadeiras.
As tabelas estão na imagem anexada.

Answer 2

Podemos afirmar que, levando em consideração as teorias sobre tabela-verdade, o mais correto é o que está descrito na alternativa 3: As proposições I e II são sempre verdadeiras.

Como sabemos, a tabela verdade, também conhecida como a tabela veritativa, pode ser definida como sendo um tipo de tabela matemática que é empregada dentro da disciplina de lógica com vistas a determinar se uma determinada fórmula é válida ou se determinada afirmação sobre as assertivas é correta.