Questões de Raciocínio Lógico - Equivalência Lógica e Negação de Proposições para Concurso
Foram encontradas 2.740 questões
Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, dados os pares de fórmulas,
I. ∃x(P(x) ∧ ¬Q(x)) e ∃x(¬P(x) ∧ ¬Q(x))
II. ∃x(P(x) ∧ ¬Q(x)) e ∃x(P(x) ∧ Q(x))
III. ∀x(P(x) ∧ ¬Q(x)) e ∀x¬(¬P(x) v Q(x))
IV. ∀x(P(x) ∧ ¬Q(x)) e ¬∀x(P(x) ∧ ¬Q(x))
verifica-se que há equivalência das fórmulas em
Das seguintes proposições, quais são equivalentes entre si?
P1 : É necessário que Paulo não vá à festa para que termine sua tarefa.
P2 : Não é certo que Paulo termine sua tarefa e vá à festa.
P3 : Paulo, não termine sua tarefa e não vá à festa.
Dada uma afirmação P, o símbolo ~P significará não P. Considere as seguintes afirmações P e Q:
P: Pelé fez mil gols
Q: Cristiano Ronaldo é o melhor jogador do mundo atualmente.
Usando os símbolos lógicos, qual dos itens abaixo é o CORRETO?
O IFPA usa o Sistema Institucional Integrado de Gestão, definido pela sigla SIG. O SIG é composto por vários outros Sistemas, dentre eles o Sistema Integrado de Gestão de Atividades Acadêmicas cuja finalidade é gerenciar as atividades e procedimentos dos Professores e Alunos do IFPA. Outro sistema que compõe o SIG é o Sistema Integrado de Gestão de Patrimônio, Administração e Contratos que tem como objetivo fazer operações fundamentais para a gestão das unidades responsáveis pelas finanças, patrimônio e contratos. Dessa forma, afirmar-se que:
"Todo Professor do IFPA usa o Sistema Integrado de Gestão de Atividades Acadêmicas. Alguns Professores do IFPA usam o Sistema Integrado de Gestão de Patrimônio, Administração e Contratos. Portanto alguns Professores do IFPA usam o Sistema Integrado de Gestão de Atividades Acadêmicas e o Sistema Integrado de Gestão de Patrimônio, Administração e Contratos".
O Argumento equivalente da negação da Afirmação acima é:
Dizer que não é verdade que “Joana gosta de filmes e Jair gosta de pipoca doce” é logicamente equivalente a dizer que é verdade que