A questão pediu a equivalência lógica.
Contrapositiva da condicional
Exemplos:
p —> q : Se Carlos é professor, então é pobre.
A contrapositiva é
~q —> ~p : Se Carlos não é pobre, então não é professor.
Portanto, (p —> q <==> ~q —> ~p) (Proposições equivalentes).
p : x é menor que zero
q : x é negativo
q —> p : Se x é negativo,então x é menor que zero.
A contrapositiva é
~p —> ~q : Se x não é menor que zero, então x não é negativo.
Portanto, (q —> p <==> ~p —> ~q) (Proposições equivalentes)
A questão pediu a equivalência lógica.
Contrapositiva da condicional.
(Proposições equivalentes)
Portanto: (p —> q <==> ~q —> ~p)
TEMOS QUE:
Se Paulo roubou, então ele é preso. [p —> q]
LOGO:
Se Paulo não é preso, então ele não roubou. [ ~q —> ~p]
gab b