Filtrar


Questões por página:
Uma afirmação que corresponda à negação lógica da afirmação “Pedro distribuiu amor e Pedro colheu felicidade” é:
A frase que corresponde à negação lógica da afirmação: Se o número de docinhos encomendados não foi o suficiente, então a festa não acabou bem, é
Considerando que os símbolos ¬, ∧, ∨ e → representam negação, conjunção, disjunção e implicação, respectivamente, indique em qual conjunto de fórmulas não é possível inferir contradição.
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
Uma negação para a frase “Se todo mundo trabalha, ninguém assiste ao jogo” é: