Considerando que os símbolos ¬, ∧, ∨, →, ∀ e ∃ representam negação, conjunção, disjunção, implicação, quantificador universal e quantificador existencial, respectivamente, assinale a alternativa que pode ser inferida a partir da fórmula ∀ x (P (x) → Q (x)) ∧ ∀ x (R (x) ∨ ¬P (x)) ∧ ∃ x (R (x)) ∧ ∀ x (¬¬P (x) ∧ S (x)).
Dadas as afirmativas sobre uma determinada escola,
I. Todas as pessoas que trabalham na biblioteca são, exclusivamente, funcionários ou alunos.
II. Na escola, há um funcionário que também é aluno.
A partir desses fatos, assinale a alternativa que corresponde a uma conclusão lógica válida sobre a situação.
Considerando o símbolo → representando a implicação. Considerando, também, três fórmulas bem formadas quaisquer, da lógica proposicional α, β e θ, sendo θ = α→β, em qual circunstância θ é uma contradição?
Um professor decidiu dividir sua turma em 4 (quatro) equipes iguais tanto em quantidade de integrantes quanto na distribuição de habilidades específicas. Sabendo que a turma possui 24 (vinte e quatro) estudantes, dentre os quais 4 (quatro) com aptidão para informática, e 8 (oito) para redação, quantas equipes diferentes poderão ser criadas?
Assinale a alternativa que mostra corretamente a negação lógica da frase “Todo estudante gosta de feriado”.
