Raciocínio Lógico — estruturas lógicas (tabela verdade)

Em decisão proferida acerca da prisão de um réu, depoisde constatado pagamento de pensão alimentícia, o magistradodeterminou: O réu deve ser imediatamente solto, se por outromotivo não estiver preso. Considerando que a determinação judicial corresponde a umaproposição e que a decisão judicial será considerada descumpridase, e somente se, a proposição correspondente for falsa, julgue ositens 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.