Filtrar


Questões por página:
Considerando que os símbolos ¬, ∧, ∨, → e ↔ representam negação, conjunção, disjunção, implicação e bi-implicação, respectivamente. Qual alternativa apresenta uma fórmula bem formada que pode ser deduzida a partir do conjunto de premissas {M → H, C → M, ¬G → ¬H, K → ¬G}?
Visualizar Questão Comentada
Considerando-se que os símbolos ¬, ∧, ∨, →, ↔, ∀ e ∃ representam negação, conjunção, disjunção, implicação, bi-implicação, quantificador universal e quantificador existencial, respectivamente, e considerando-se, ainda, a fórmula ∀x(P(x)→(Q(x)∧¬R(x)))∧∃xR(x)∧∃xQ(x)∧∀xS(x) como verdadeira, pode-se concluir que, necessariamente, tem-se:
Visualizar Questão Comentada

Dado quatro números Naturais x, y, z e w, sabemos que


• z é maior do que y;

• z é menor do que w;

• x é menor do que y.


Considerando o exposto, é correto afirmar que

Visualizar Questão Comentada

Considere as seguintes proposições:


P1: “Todos os cavalos são mamíferos”.

P2: “Alguns cavalos saltam”.


Sabendo que ambas são verdadeiras, conclui-se que

Considerando-se que os símbolos ¬, ∧, ∨, → e ↔ representam negação, conjunção, disjunção, implicação e bi-implicação, respectivamente, a fórmula C ∧ A é conclusão de qual conjunto de premissas?
Visualizar Questão Comentada