Respuesta :

caylus
Hello,

p:="it is not a lion"
q:="it is a cat"

p==>q <==> ~q==>~p

Contrapositive is : if it is not a cat then it is a lion.