Quatro auditorias distintas, identificadas por A, B, C e D, serão realizadas, uma por período, nos períodos 1, 2, 3 e 4. Cada auditoria ocupará exatamente um período, sem coincidências. Sabe-se que A não pode ocorrer no primeiro nem no quarto período; B deve ocorrer depois de A; e C deve ocorrer imediatamente antes de D. Considerando simultaneamente todas as restrições, assinale a alternativa CORRETA.

Considere a proposição: "Para todo projeto institucional, se o projeto foi aprovado e recebeu financiamento, então existe pelo menos um relatório técnico desse projeto que foi entregue no prazo." Admitindo como universo apenas os projetos institucionais e seus respectivos relatórios técnicos, assinale a alternativa CORRETA que expressa a negação lógica dessa proposição.

Na etapa de validação de regras de decisão de um sistema informatizado, dois eventos são representados pelas proposições simples p e q. Antes da implementação, a equipe precisa verificar se determinadas expressões lógicas são verdadeiras para todas as possíveis valorações de p e q, falsas em todas elas ou dependentes dos valores assumidos pelas proposições. Considerando, respectivamente, as classificações tautologia, contradição e contingência, analise as assertivas e classifique-as como verdadeiras (V) ou falsas (F).

(__) A expressão (p ^ q) → p é uma tautologia.

(__) A expressão (p → q) ^ p ^ ¬q é uma contradição.

(__) A expressão (p → q) v (q → p) é uma contingência.

(__) A expressão (p ↔ q) v ¬(p ↔ q) é uma tautologia.

(__) A expressão (p v q) ^ (¬p v ¬q) é uma contradição.

A sequência CORRETA, de cima para baixo, é:

Considere proposições simples p, q e r e as equivalências no âmbito da lógica proposicional clássica. Analise as afirmativas a seguir.

I. p → q é logicamente equivalente a ¬p v q.

II. ¬(p ↔ q) é logicamente equivalente a p ↔ ¬q.

III. ¬p → ¬q é logicamente equivalente a p → q.

IV. (p → q) ^ (q → p) é logicamente equivalente a p ↔ q.

V. (p v q) → r é logicamente equivalente a (p → r) v (q → r).

Está CORRETO o que se afirma em: