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.

Em determinado dia, em um aeroporto, os aviões A,
B, C, D e E estavam esperando o momento da decolagem,
que, por más condições de tempo, iria começar às 10 horas
daquele dia. Ficou determinado que cada voo ocorreria
cinco minutos após o anterior, que A decolaria após C e que
E decolaria 5 minutos antes de B.

Com base nessas informações, julgue os itens a seguir.

Um argumento constituído por uma sequência de três proposições
- P1, P2 e P3, em que P1 e P2 são as premissas e P3 é a conclusão
- é considerado válido se, a partir das premissas P1 e P2,
assumidas como verdadeiras, obtém-se a conclusão P3, também
verdadeira por consequência lógica das premissas. A respeito das
formas válidas de argumentos, julgue os próximos itens.

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 lógica proposicional trata de argumentações
elaboradas por meio de proposições, isto é, de declarações
que podem ser julgadas como verdadeiras (V) ou falsas (F),
mas nunca como V e F simultaneamente. As proposições
normalmente são simbolizadas por letras maiúsculas do
alfabeto e alguns símbolos lógicos são usados para compor
novas proposições. Uma conjunção, proposição simbolizada
por AvB, é lida como "A e B" e julgada como V somente
quando A e B forem V, e F, nos demais casos. Uma
implicação, proposição simbolizada por A÷B, é lida como
"se A, então B", e julgada como F somente quando A for V
e B for F, e V nos demais casos.

A lógica de primeira ordem também trata de
argumentações elaboradas por meio de proposições da
lógica proposicional, mas admite proposições que
expressem quantificações do tipo "todo", "algum",
"nenhum" etc.

A partir dessas notações e definições, julgue os itens que se
seguem.

A lógica proposicional trata de argumentações
elaboradas por meio de proposições, isto é, de declarações
que podem ser julgadas como verdadeiras (V) ou falsas (F),
mas nunca como V e F simultaneamente. As proposições
normalmente são simbolizadas por letras maiúsculas do
alfabeto e alguns símbolos lógicos são usados para compor
novas proposições. Uma conjunção, proposição simbolizada
por AvB, é lida como "A e B" e julgada como V somente
quando A e B forem V, e F, nos demais casos. Uma
implicação, proposição simbolizada por A÷B, é lida como
"se A, então B", e julgada como F somente quando A for V
e B for F, e V nos demais casos.

A lógica de primeira ordem também trata de
argumentações elaboradas por meio de proposições da
lógica proposicional, mas admite proposições que
expressem quantificações do tipo "todo", "algum",
"nenhum" etc.

A partir dessas notações e definições, julgue os itens que se
seguem.

A noção de equivalência de proposições refere-se à possibilidade
de expressar de diferentes formas uma mesma afirmação. Do ponto
de vista formal, diz-se que duas proposições são logicamente
equivalentes quando possuem tabelas de valorações idênticas.
A respeito desse assunto, julgue os itens que se seguem.

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.

Uma proposição é uma frase afirmativa que pode ser julgada
como verdadeira ou falsa, mas não ambos. Uma dedução lógica
é uma seqüência de proposições, e é considerada correta quando,
partindo-se de proposições verdadeiras, denominadas premissas,
obtêm-se proposições sempre verdadeiras, sendo a última delas
denominada conclusão. Considerando essas informações, julgue
os itens a seguir, a respeito de proposições.

Um argumento constituído por uma sequência de três proposições
- P1, P2 e P3, em que P1 e P2 são as premissas e P3 é a conclusão
- é considerado válido se, a partir das premissas P1 e P2,
assumidas como verdadeiras, obtém-se a conclusão P3, também
verdadeira por consequência lógica das premissas. A respeito das
formas válidas de argumentos, julgue os próximos itens.

Uma proposição é uma frase afirmativa que pode ser julgada
como verdadeira ou falsa, mas não ambos. Uma dedução lógica
é uma seqüência de proposições, e é considerada correta quando,
partindo-se de proposições verdadeiras, denominadas premissas,
obtêm-se proposições sempre verdadeiras, sendo a última delas
denominada conclusão. Considerando essas informações, julgue
os itens a seguir, a respeito de proposições.

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.

Com relação à programação, algoritmos e estrutura de dados, julgue
os itens seguintes.

Durante blitz de rotina, um agente de trânsito notou um
veículo que havia parado a distância, no qual o condutor trocou de
lugar com um dos passageiros. Diante dessa situação, o agente
resolveu parar o veículo para inspeção. Ao observar o interior do
veículo e constatar que havia uma lata de cerveja no console,
indagou aos quatro ocupantes sobre quem teria bebido a cerveja e
obteve as seguintes respostas:


Não fui eu, disse Ricardo, o motorista.
Foi o Lucas, disse Marcelo.
Foi o Rafael, disse Lucas.
Marcelo está mentindo, disse Rafael.


Considerando a situação hipotética acima, bem como o fato de que
apenas um dos ocupantes do veículo bebeu a cerveja, julgue os itens
subsequentes.

Suponha que um banco tenha um cartão especial para estudantes,
que já venha com senha de 4 algarismos escolhidos de 0 a 9 e
atribuídos ao acaso. Com relação a essa situação, julgue os itens
subsequentes.

A noção de equivalência de proposições refere-se à possibilidade
de expressar de diferentes formas uma mesma afirmação. Do ponto
de vista formal, diz-se que duas proposições são logicamente
equivalentes quando possuem tabelas de valorações idênticas.
A respeito desse assunto, julgue os itens que se seguem.

Em determinado dia, em um aeroporto, os aviões A,
B, C, D e E estavam esperando o momento da decolagem,
que, por más condições de tempo, iria começar às 10 horas
daquele dia. Ficou determinado que cada voo ocorreria
cinco minutos após o anterior, que A decolaria após C e que
E decolaria 5 minutos antes de B.

Com base nessas informações, julgue os itens a seguir.