Filtrar


Questões por página:
A partir do conjunto de premissas {∀x(F(x)→G(x) ∨ H(x)), ∀ x¬G(x)}, pode-se inferir que
Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, a partir de qual dos conjuntos de premissas abaixo pode-se chegar à conclusão de que ∃ x P(x) ∧ ∃ x Q(x)?
Considerando as afirmativas “alguns alunos são bolsistas”, “alguns professores não são alunos” e “nenhum professor é bolsista”, é possível concluir corretamente que
Questão Anulada

Dadas as premissas,

 

• Se Tiago gosta de História, James gosta de Matemática.

• Hérica gosta de Literatura e Sarah gosta de Sociologia somente se Tiago gostar de História.

• Lucimara gosta de Ciências e Artur gosta de Biologia.

• Artur não gosta de Biologia ou James não gosta de Matemática.

 

pode-se concluir que:

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.