A esse respeito, analise as afirmativas a seguir: I. Jacque...

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: