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 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.