Questões de Concurso
Sobre equivalências - proposições logicamente equivalentes em raciocínio lógico
Foram encontradas 1.181 questões
Acerca dessas proposições, julgue o item seguinte.
A proposição “O processo foi arquivado se, e somente se, a chefia homologou o procedimento” é logicamente equivalente a: “Se a chefia homologou o procedimento, então o processo foi arquivado, e se o processo foi arquivado, então a chefia homologou o procedimento”.
“Se manuseia material hematológico, então deve estar de luvas e deve utilizar óculos de proteção.”
Assinale a opção que indica uma afirmação que, do ponto de vista da lógica sentencial, é equivalente à norma de segurança.
A = (p ∨ q) ∧ r e B = ~(q → ~r)
Usando lógica de proposições, ele consegue argumentar e solucionar mais um caso, concluindo, com certeza, que a proposição composta verdadeira é
• Todo jogador que disputou a final venceu a semifinal.
• Todo jogador que venceu a semifinal é experiente ou jovem prodígio.
• Nenhum jogador jovem prodígio perdeu a final.
Com base nos dados apresentados, assinalar a alternativa CORRETA.
Com base exclusivamente nas regras da logica proposicional, qual conclusão pode ser extraída sobre as condições do estande, sem que haja margem para interpretações subjetivas ou externas?
p: O candidato A vence a eleição.
q: O candidato B recorre do resultado.
A proposição composta p→q pode ser corretamente traduzida para a linguagem corrente como:
Em relação a aspectos de lógica proposicional atinentes à proposição P: "Se não houver resposta ou se houver resposta e ela for negativa, o futuro da organização estará ameaçado.", julgue o item seguinte.
Considerando-se p: "houve resposta", q: "a resposta foi negativa" e r: "o futuro da organização está ameaçado", a proposição P pode ser expressa por ~p ˅ (p ˄ q) → r, em que ~, ˅, ˄ e → simbolizam, respectivamente, os conectivos lógicos de negação, disjunção, conjunção e condicional.
P: "A feira está lotada"
Q: "O estacionamento está cheio"
A tradução da formula lógica - ( P^Q ) para a linguagem corrente, utilizando uma das equivalências mais conhecidas da logica sentencial, resulta em qual afirmação?