mostrar texto associado
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".