Ver texto associado à questão

A negação da proposição F4 é logicamente equivalente à proposição “Não havia um caixa eletrônico em frente ao banco ou o dinheiro não foi entregue à mulher de Gavião”.

Ver texto associado à questão

A proposição F2 é logicamente equivalente à proposição “Se o dinheiro não ficou com Gavião, então não havia um caixa eletrônico em frente ao banco”.

Ver texto associado à questão

A especificação P pode ser corretamente representada por p ↔ (q Λ r ), em que p, q e r correspondem a proposições adequadas e os símbolos ↔ e Λ representam, respectivamente, a bicondicional e a conjunção

Ver texto associado à questão

Em recinto onde tiver sido instalado um dispositivo que atenda à especificação P, a luz permanecerá acesa enquanto não houver claridade natural suficiente.

Andre, Guilherme e Matheus são atletas que praticam basquete, natação e voleibol, não necessariamente nessa ordem, e nasceram no Maranhão, em Minas e no Piauí, porém não se sabe quem nasceu onde. Sobre tais atletas, sabe-se também que

I. Guilherme não é maranhense.
II. O mineiro é atleta de voleibol.
III. O atleta de natação nunca morou no Maranhão.
IV. Matheus não disputa uma modalidade esportiva coletiva.
V. André é jogador de basquete.

Depreende-se que