Question

1- Uma forma de dedução indireta é o Modus Tollens, a qual é usada, basicamente, quando há como verdade a negação da segunda proposição de uma condicional. A representação simbólica do Modus Tollens é:




2- O método de dedução contrapositivo é fundamentado pela regra de inferência Modus Tollens. Esta inferência se aplica em uma condicional quando não é possível realizar a veracidade da primeira proposição que compõe a condicional. Simbolicamente, a dedução contrapositiva é representada:



3- Os métodos dedutivos Modus Ponens e Modus Tollens possuem características distintas e por isso são usados em situações divergentes. Podemos classificá-los, respectivamente, em métodos dedutivos:

Escolha uma:
a. Ponderado e trocado.
b. Direto e contrário.
c. Ponderado e indireto.
d. Objetivo e trocado.
e. Direto e indireto.

Answer 1

Resposta Correta: Direto e Indireto

Answer 2

O método de dedução contrapositivo é fundamentado pela regra de inferência Modus Tollens. Esta inferência se aplica em uma condicional quando não é possível realizar a veracidade da primeira proposição que compõe a condicional.

Simbolicamente, a dedução contrapositiva é representada:

A. p→p, ~qI-->~p

B.~q →p,I--->p

C. ~q →~p,~qI-->~p

D.~q →~p,~qI-->p

E. ~q →p,~I-->~p qual ha resposta correta ha c esta errada pfv alguém me ajuda com essa questão pfv???