Para provar um argumento é necessário utilizar o método semântico Tabela Verdade. Todavia, dependendo do número de linhas o tamanho da tabela verda...

Para provar um argumento é necessário utilizar o método semântico Tabela Verdade. Todavia, dependendo do número de linhas o tamanho da tabela verdade é regido pela fórmula 2

n

2�

, (n é o número de proposições simples que compõe a Tabela Verdade), note que a aplicação é exaustiva e impraticável. Sendo assim, surge outra forma para provar a validade de um argumento conhecido como Método Dedutivo utilizando provas diretas de validação cujos instrumentos são as implicações e equivalências tautológicas. Considere a seguinte proposição composta R:

R: “Se o avião não tivesse caído, teria feito contato por rádio. O avião não fez contato pelo rádio. Portanto, o avião caiu”.

ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002.

Considerando o contexto apresentado, é correto o que se afirma em:

Escolha uma opção:

a. Silogismo Disjuntivo.

b. Modus Ponens.

c. Modus Tollens.

d. Silogismo Hipotético.

e. Indepotência.