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 os itens subsequentes, 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".
, e "ou", indicado pelo símbolo lógico
. Usa-se o modificador "não", representado pelo símbolo lógico ¬, para produzir a negação de uma
ou
), ou de modificador (¬) ou de condicional (
B é equivalente à proposição ¬B
A.