A alternativa correta que completa corretamente as lacunas do quadro acima é a letra E: Conjunção (CONJ); Modus Tollens (MT).
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 inferência.
BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica Matemática. Cengage Learning, 2011.
Assinale a alternativa que completa corretamente as lacunas do quadro acima:
Resposta opção: Modus Ponens (MP); Modus Tollens (MT).
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar