Com relação às regras de dedução do cálculo proposicional a prova direta de validação de argumentos utiliza três regras, a saber: (1) Equivalências...

Com relação às regras de dedução do cálculo proposicional a prova direta de validação de argumentos utiliza três regras, a saber: (1) Equivalências Tautológicas; (2) Implicações Tautológicas e o; (3) Teorema da Dedução. BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica Matemática. Cengage Learning, 2011 (adaptado). A esse respeito, analise as afirmativas a seguir: I. Jacques Herbrand (1930) e Alfred Tarski (1936) aperfeiçoaram o método da suposição que ficou conhecido como Teorema da Dedução (TD). II. O TD consiste em: (1) assumir uma proposição P; (2) obter a partir dessa proposição utilizando regras de inferência aceitas por convenção, uma conclusão “C” e; (3) “afirmar” a condicional “P → C”. III. “P → C” pode ser estimado das premissas P1 ˄ P2 ˄ P3 ˄...˄ Pn-1. IV. Se Γ, P ⊢ C, então Γ ⊢ P → C. É correto o que se afirma em: