André, Breno, Carla, Denise e Érica são os responsáveis pela manutenção dos servidores em certo Data Center. Essas pessoas se revezam em turnos de trabalho, de maneira que, em cada turno, deve haver exatamente 3 pessoas presentes. Em certo turno, Érica estava presente e fez as seguintes anotações:

- Breno não está de folga ou Carla está de folga.
- André não está de folga e Denise está de folga.
- Ou Breno não está de folga ou Denise não está de folga.
- Se Carla está de folga, então Denise não está de folga. 
- André não está de folga se, e somente se, Breno não está de folga.

Sabendo que exatamente uma das anotações feitas por Érica é logicamente falsa, então é logicamente verdadeiro que:

Uma política de segurança estabelece: “Se o policiamento preventivo for reforçado (P), então a taxa de furtos diminuirá (Q)”.

A expressão lógica tautológica que representa a equivalência dessa política é dada por:

Um analista, em relatório técnico, apresenta o seguinte raciocínio para justificar a adoção de um novo procedimento interno: "Sempre que um procedimento é documentado adequadamente, há maior padronização das atividades. Sempre que há maior padronização, ocorre redução de retrabalhos. Logo, ao documentar adequadamente os procedimentos, ocorre redução de retrabalhos."
Considere que o raciocínio acima será analisado exclusivamente sob a ótica da lógica proposicional clássica, tratando as sentenças como proposições formais e interpretando o conectivo "se... então..." como implicação material. Não se deve atribuir interpretação causal, empírica ou probabilística às proposições.

Com base nesse enquadramento formal e nos conceitos de inferência, dedução e equivalência lógica, analise as assertivas a seguir e assinale V (Verdadeiro) ou F (Falso):

(__) A conclusão apresentada decorre de uma dedução logicamente válida, construída a partir de duas premissas encadeadas por implicações materiais.
(__) A estrutura formal do argumento pode ser representada como um silogismo hipotético do tipo: P → Q; Q → R; logo, P → R.
(__) Na lógica proposicional clássica, a negação da implicação material "Se P, então Q" (P → Q) é logicamente equivalente à proposição "não P ou não Q" (~P v ~Q).
(__) A proposição "se não há padronização, então não há documentação adequada" é logicamente equivalente à primeira premissa do argumento, por corresponder à sua contrapositiva formal.
(__) O raciocínio apresentado caracteriza-se como uma inferência indutiva, pois parte de observações empíricas para estabelecer uma regra geral.
(__) Admitindo-se a veracidade das premissas formais, a rejeição da conclusão implicaria violação da consistência lógica do argumento.

Assinale a alternativa que apresenta a sequência correta de V (verdadeiro) e F (falso), de cima para baixo:

Em uma auditoria interna, um analista avaliou relatórios técnicos produzidos por diferentes equipes e formulou as seguintes proposições sobre o processo de verificação. Considere o universo de discurso formado pelos relatórios analisados e as afirmações a seguir:

I. Todo relatório que apresenta inconsistências lógicas foi revisado por pelo menos um analista.
II. Existe ao menos um relatório que foi revisado por um analista e que não apresenta inconsistências lógicas.
III. Se um relatório não foi revisado por nenhum analista, então ele não apresenta inconsistências lógicas.
IV. A afirmação "Alguns relatórios revisados são inconsistentes" é logicamente equivalente à negação da proposição "Nenhum relatório revisado é inconsistente".
V. Do fato de todo relatório inconsistente ter sido revisado, conclui-se corretamente que todo relatório revisado é inconsistente.

Com base na lógica proposicional, nos quantificadores e na análise de possíveis falácias, assinale a alternativa CORRETA:

Considere as seguintes proposições simples:

P: O aluno foi aprovado;
Q: O aluno fez a prova.

Assinale a alternativa que é equivalente à proposição composta a seguir: 

Considere as proposições simples p, q, r e s e as seguintes premissas verdadeiras: 

( i ) p ↔ r

( ii ) r ↔ s

( iii ) ~ s v ~ q

( iv ) p

Com base exclusivamente nessas premissas, é CORRETO concluir que é verdadeiro:

Ainda em relação ao texto CB1A3, assinale a opção em que é apresentada uma proposição equivalente à negação de P.

Assinale a opção em que se apresenta a negação da proposição P, apresentada no texto CB2A3.

Considere a proposição:
P: “Se um número é múltiplo de 6, então ele é par.”
Com base nessa proposição, analise as afirmações a seguir:

I. A recíproca de P é: “Se um número é par, então ele é múltiplo de 6.”
II. A contrária de P é: “Se um número não é múltiplo de 6, então ele não é par.”
III. A contrapositiva de P é: “Se um número não é par, então ele não é múltiplo de 6.”
IV. A contradição de P é: “Um número é múltiplo de 6 e não é par.”

Assinale a alternativa correta:

Sejam P, Q e R proposições lógicas. Julgue as afirmações abaixo, classificando-as em verdadeiro (V) ou falso (F).

I. ( ) Se P ⇒ Q e Q ⇒ R, então P ⇒ R.
II. ( ) (P ⇒ Q) ⇔ (~P⋁Q)
III. ( ) ~(P ⇒ Q) ⇔ (P⋀Q)

Marque a alternativa que indica a sequência correta para I, II e III, respectivamente

Em um sistema de monitoramento na cidade de Assaré, vale a seguinte regra:

“Sempre que o servidor estiver online e o backup

terminar com sucesso, então um alerta é enviado para a

equipe.”

Assinale a alternativa que expressa corretamente a negação dessa regra.

Em um sistema de monitoramento na cidade de Assaré, vale a seguinte regra:

    “Sempre que o servidor estiver online e o backup terminar com sucesso, então um alerta é enviado para a equipe.”

Assinale a alternativa que expressa corretamente a negação dessa regra.

Considere as fórmulas proposicionais:

F₁: ¬(P ∨ Q) → R
F₂: (¬P ∧ ¬Q) → R
F₃: (P ∨ Q) ∨ R

Sobre as relações entre F₁, F₂ e F₃, assinale a alternativa correta.