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

Answer 1

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

Answer 2

CORRIGIDA PELO AVA.