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.

À 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.”.

O número de linhas da tabela-verdade associada à proposição P é superior a 15.

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