Filtrar


Questões por página:

Julgue o próximo item, relacionado à lógica proposicional, considerando os símbolos lógicos comuns e as letras maiúsculas como representativas de proposições simples.


A proposição lógica a seguir é uma tautologia. ~ (Q → P) ˅ [(~B) ˅ (~C)] ↔ ~[(B ˄ C) ˄ (Q → P)]

À luz da lógica sentencial, julgue o item seguinte, acerca da proposição P: “Se o investigador não cumprir o procedimento ou identificar o suspeito errado, o juiz anulará a prova e soltará o acusado.”.


Considere que o investigador cumpra o procedimento e identifique corretamente o suspeito. Nesse caso, presumindo-se verdadeira a proposição P, é correto afirmar que o juiz não anulará a prova nem soltará o acusado.

Leve em consideração as seguintes proposições lógicas:
P: "Se chove, então o chão está molhado." Q: "O chão não está molhado." R: "Se não chove, então o chão não está molhado."

Assinale a alternativa CORRETA quanto a representação de uma equivalência lógica correta entre as proposições P, Q e R.
Considere que os símbolos ¬, ∧ e → representam negação, conjunção e implicação, respectivamente. Analisando a fórmula (p→q)∧(¬q→¬r), é correto afirmar que essa fórmula é verdadeira
Considerando que os símbolos ¬, ∧, →, ∀ e ∃ representam negação, conjunção, implicação, quantificador universal e quantificador existencial, respectivamente; considerando, ainda, as informações ∀x(S(x)→A(x)) e ∃x(S(x)∧¬E(x)), ambas verdadeiras, qual das alternativas apresenta uma contradição em relação a essas informações?