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
Soluções para a tarefa
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