Questões de Concursos: 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 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.

Um entrevistador obteve de um suspeito a seguinte
declaração: "Ora, se eu fosse um espião, então eu não amaria o meu
país, pois eu amo o meu país, ou sou um traidor da pátria, já que
não é possível acontecer as duas coisas ao mesmo tempo. Agora, se
eu não fosse um traidor da pátria, então eu amaria o meu país.
Logo, eu não sou um espião e amo o meu país."


Considerando a lógica sentencial apresentada, julgue os itens
subsequentes.

Uma proposição é uma sentença que pode ser julgada
verdadeira (V) ou falsa (F). As proposições são normalmente
representadas pelas letras maiúsculas A, B, C etc. A partir de
proposições dadas, podem-se construir novas proposições
compostas, mediante o emprego de símbolos lógicos chamados
conectivos: "e", indicado pelo símbolo lógico , 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
proposição; pode-se, também, construir novas proposições
mediante o uso do condicional "se A então B", representado
por AB.O julgamento de uma proposição lógica composta
depende do julgamento que se faz de suas proposições
componentes. Considerando os possíveis julgamentos V ou Fdas
proposições A e B, tem-se a seguinte tabela-verdade para
algumas proposições compostas.

Considerando-se a proposição A, formada a partir das
proposições B, C etc. mediante o emprego de conectivos ( ou
), ou de modificador (¬) ou de condicional (), diz-se que A é uma tautologia quando A tem valor lógico V, dependentemente
dos valores lógicos de B, C etc. e diz-se que A é uma contradição
quando A tem valor lógico F, independentemente dos valores
lógicos de B, C etc. Uma proposição A é equivalente a uma
proposição B quando A e B têm as tabelas-verdade iguais, isto é,
A e B têm sempre o mesmo valor lógico.