Em uma empresa de logística, sabe-se que:

• Se Ana trabalha no setor de expedição, então Bruno trabalha no estoque.

• Se Bruno trabalha no estoque, então Carla coordena o transporte.

• Carla não coordena o transporte.

Com base nessas informações, o que se pode deduzir logicamente?

Considere a frase:

“Algum candidato domina dois idiomas.”

Qual formalização traduz corretamente essa ideia, preservando seu sentido?

Considere:

Seja P(x): “x concluiu o curso” e Est(x): “x é estagiário”.

Qual formalização corresponde à frase: “Todo estagiário concluiu o curso”?

Considere as seguintes informações em um mapeamento de conjuntos:

1. Todo X está contido em Y.
2. Existem elementos de Y que não pertencem a Z.

Com base nessas premissas, qual afirmação pode ser logicamente garantida?

Em um checklist de verificação, considere a proposição condicional: p → q.

Qual é a forma logicamente equivalente à sua negação, isto é, ¬(p → q)?

Considere as seguintes premissas apresentadas em um parecer:

1. Todo A é B.
2. Nenhum B é C.

Com base nessas premissas, qual conclusão é logicamente correta e mantém a coerência formal?

Considere o argumento apresentado por um setor:

Premissa 1: Se o servidor falha, então o relatório atrasa.

Premissa 2: O relatório atrasou.

Conclusão: Logo, o servidor falhou.

Como deve ser avaliado esse argumento?

Considere a seguinte regra:

“Se houver inconsistência, então haverá correção antes da publicação.” Sabe-se que o Boletim B foi publicado hoje.

Qual é a dedução logicamente correta?

Considere as seguintes regras de representação em um organograma:

• “X > Y” significa “X supervisiona Y”.
• “Y ~ Z” significa “Y e Z atuam no mesmo nível hierárquico”.

Sabendo que P > Q e Q ~ R, assinale a alternativa que está correta e necessariamente verdadeira com base nessas relações.

Em um sistema de controle de versões de documentos, cada revisão recebe um código que combina uma letra e um número, seguindo a ordem:

A1, A3, B3, B5, C5, C7, ?

Qual será o próximo código da sequência?