Question

Em nosso livro texto, condicinamos o uso de tabelas verdade para a validação de argumentos proprostos. Neste sentido, utilize tabelas-verdade, analise as afirmativas seguintes e assinale a alternativa que apresenta um argumento válido.
Alternativas
Alternativa 1:
A v B, ¬B |– ¬A

Alternativa 2:
A v B, B |– A

Alternativa 3:
A v B, ¬B |– A

Alternativa 4:
¬(A ^ B), ¬B |– A

Alternativa 5:
¬(A ^ B), ¬B, ¬A |– A

Answer 1

Fazendo a tabela verdade das opções veremos que a unica que é uma tautologia é a alternativa 3.

Answer 2

Saiu o gabarito sobre essa questão?