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 2n 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: Questão 6Escolha uma opção: a. Silogismo Disjuntivo. b. Modus Tollens. c. Modus Ponens. d. Silogismo Hipotético. e. Indepotência.