Raciocínio Lógico — equivalências lógicas

Para descobrir qual dos assaltantes Gavião ou Falcão ficou com o dinheiro roubado de uma agência bancária, o delegadoconstatou os seguintes fatos:F1 se Gavião e Falcão saíram da cidade, então o dinheiro nãoficou com Gavião;F2 se havia um caixa eletrônico em frente ao banco, então odinheiro 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 foientregue à mulher de Gavião.Considerando que as proposições F1, F2, F3 e F4 sejamverdadeiras, julgue os itens subsequentes, com base nas regras dededuçã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.