A alternativa correta é a letra d) Apenas I e II estão corretas. Justificativa: A afirmativa I está correta, pois Jacques Herbrand e Alfred Tarski aperfeiçoaram o método da suposição que ficou conhecido como Teorema da Dedução (TD). A afirmativa II está correta, pois o TD consiste em assumir uma proposição P, obter a partir dessa proposição utilizando regras de inferência aceitas por convenção, uma conclusão “C” e “afirmar” a condicional “P → C”. A afirmativa III está incorreta, pois “P → C” não pode ser estimado das premissas P1 ˄ P2 ˄ P3 ˄...˄ Pn-1. A afirmativa IV está incorreta, pois a conclusão correta seria: se Γ ⊢ P e Γ ⊢ P → C, então Γ ⊢ C.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar