Questões de Concurso

Uma afirmação que corresponda à negação lógica da afirmação “Pedro distribuiu amor e Pedro colheu felicidade” é:

Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, as equivalências lógicas das fórmulas ¬∃xP(x) ∧ ∃yQ(y) e ∀x(¬P(x) → ¬Q(x)) são, respectivamente,

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

Dadas as proposições,
I. Se 870 é múltiplo de 4, então 169 é quadrado perfeito. II.870 é múltiplo de 4 e 169 é quadrado perfeito. III.870 é múltiplo de 4 ou 169 é quadrado perfeito. IV. 870 é múltiplo de 4 se e somente se 169 é quadrado perfeito.
verifica-se que, à luz da lógica proposicional, têm valores lógicos verdadeiros

Supondo que os símbolos ¬, → e ↔ representam a negação, condicional e bicondicional, respectivamente, a partir do conjunto de premissas {A → E, C ↔ E, E → G}, é possível concluir que