Question

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

Há letra c esta incorreta alguém me ajuda com resposta pfv

Answer 1

Oi!

Para responder essa questão, devemos levar em consideração conhecer os conceitos relativos ao tema. Sendo assim, vou fazer um breve apanhado, acompanhe:

A dedução refere-se a lógica de primeira ordem, a partir da qual é possível estabelecer a formalização da técnica de prova de implicações, como por exemplo quando:  

A → B é provada assumindo A e então derivando B a partir da premissa, levando em conta os resultados já conhecidos.

Acerca da dedução contrapositiva, sabemos que se trata da etapa a partir da qual  a hipótese mais recente e ultilizável é inutilizada e prefixa ela ao passo anterior.

COm base nesses conceitos, podemos afirmar que a única alternativa que corresponde a resposta está descrita na alternativa:

c) ~q --> ~ p, ~q '--> ~p