Sabendo que as tabelas verdade são um método semântico de validação de argumentos com restrições quanto a sua aplicabilidade surge a utilização da prova direta de validade utilizando as implicações tautológicas ou regras de F.: SOUZA FILHO, O. M. Introdução à Cengage 2011 (adaptado) Diante do exposto, analise 0 quadro abaixo: Regras/abrev. Regras de proposicionais ? ? Silogismo Disjuntivo (SD) Silogismo Hipotético (SH) Nota: Lista Parcial de implicações Assinale a alternativa que completa corretamente as lacunas do quadro acima:

a. Modus Ponens (MP); Absorção (ABS)
b. Modus Ponens Modus Tollens (MT) Conjunção (CONJ): Modus Tollens (MT).
c. Modus Tollens Conjunção (CONJ).
d. Modus Tollens Conjunção (CONJ).
e. Simplificação (SIMP): Conjunção (CONJ).