Em decisão proferida acerca da prisão de um réu, depois
de constatado pagamento de pensão alimentícia, o magistrado
determinou: “O réu deve ser imediatamente solto, se por outro
motivo não estiver preso”.
Considerando que a determinação judicial corresponde a uma
proposição e que a decisão judicial será considerada descumprida
se, e somente se, a proposição correspondente for falsa, julgue os
itens seguintes.
As proposições “Se o réu não estiver preso por outro motivo, deve ser imediatamente solto” e “Se o réu não for imediatamente solto, então, ele está preso por outro motivo” são logicamente equivalentes
