Questões Militares
Sobre equivalência lógica e negação de proposições em raciocínio lógico
Foram encontradas 110 questões
Considerando os símbolos lógicos usuais e sabendo que as letras maiúsculas representam proposições lógicas, julgue o item seguinte, a respeito de lógica proposicional e de argumentação.
Aplicando-se as leis de Morgan à proposição P ˄ (Q ˅ R), obtém-se a proposição (P ˅ Q)˄(P ˅ R).
Considerando os símbolos lógicos usuais e sabendo que as letras maiúsculas representam proposições lógicas, julgue o item seguinte, a respeito de lógica proposicional e de argumentação.
A proposição ~(P → Q) é equivalente à proposição P ˄ (~Q).
Sejam p: “O alarme de incêndio é ativado” e q: “A equipe de resgate é mobilizada”, de modo que a regra é p → q. A contrapositiva dessa proposição é:
A negação lógica da proposição p → q é:
Considere a expressão booleana Z a seguir:

Aplicando-se um dos teoremas de DeMorgan, a expressão booleana equivalente de Z é
simplificada. Analise a seguinte afirmação correta envolvendo a formação dos técnicos Alfredo e Manfredo:
“Não é verdade: Alfredo é economista e Manfredo é contador”. Com base nessa afirmação, analise as conclusões apresentadas a seguir:
I. “É verdade: se Alfredo não é economista, então Manfredo não é contador, exclusivamente”.
II. “É verdade: Alfredo não é economista e Manfredo não é contador”.
III. “É verdade: se Alfredo é economista, então Manfredo não é contador”.
IV. “É verdade: Alfredo não é economista ou Manfredo não é contador”.
V. “É verdade: Alfredo é economista ou Manfredo não é contador, exclusivamente”.
Assim, é correto afirmar que o número de conclusões verdadeiras é
P: Ana estuda à noite.
Q: Bruno trabalha de manhã.
A proposição (~ P v Q) é verdadeira apenas se:
Considere as proposições a seguir:
p: André gosta de estudar;
q: Arthur gosta de viajar.
Desse modo, a proposição ~ ( ~ p V q) em linguagem natural, corresponde a:
Considere a seguinte afirmação: “Todos os aposentados têm casa ou no interior ou na cidade.”
Assinale a alternativa que contém uma negação lógica para a afirmação apresentada.