2. Questões de Concurso

Filtrar

Questões por página:
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
Considerando que os símbolos ¬, ∧, ∨, → e ↔ representam a negação, conjunção, disjunção, condicional e bicondicional, respectivamente, qual alternativa apresenta uma tautologia?
mostrar texto associado
Assinale a opção que apresenta uma proposição equivalente, sob o ponto de vista da lógica sentencial, à proposição P do texto CB1A5AAA.
© 2016-2024 Fonte Concursos - Questões de Concurso e Plano de Estudo