Para descobrir qual dos assaltantes — Gavião ou Falcão — ficou com o dinheiro roubado de uma agência bancária, o delegado constatou os seguintes fatos:
F1 – se Gavião e Falcão saíram da cidade, então o dinheiro não ficou com Gavião;
F2 – se havia um caixa eletrônico em frente ao banco, então o dinheiro ficou com Gavião;
F3 – Gavião e Falcão saíram da cidade;
F4 – havia um caixa eletrônico em frente ao banco ou o dinheiro foi entregue à mulher de Gavião.
Considerando que as proposições F1, F2, F3 e F4 sejam verdadeiras, julgue o item subsequente, com base nas regras de deduçã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”.