0
votes
2answers
83 views

Understanding logical form of “Nobody in the calculus class is smarter than everybody in the discrete math class”

I'm self studying How to Prove book and have been working out the following problem in which I have to analyze it to logical form: Nobody in the calculus class ...
0
votes
1answer
18 views

Analyzing Logical Forms involving quantifiers

I have been solving the following problem from How to Prove book: Analyze the logical forms of the following statement: Everyone likes Mary, except Mary ...
0
votes
1answer
41 views

Nested Quantifiers - Differentiating between $\forall x \forall y$, $\forall x \exists y$, and $\exists x \exists y$

I have a few questions regarding quantifiers which I'm still not clear about. 1) $\forall x \forall y (x^2 + y^2 = 9)$ I believe this is false as x and y could be 2 and results in 8. 2) $\forall x ...
1
vote
2answers
36 views

Propositional logic-Predicates

I have this problem in my Discrete structures course Show why : ∀x P(x) ∨∀x Q(x) is not logically equivalent to ∀x(P(x)∨Q(x)) . Please help solve this
1
vote
2answers
207 views

Is double quantifying a variable possible in predicate logic?

I read it as "Everyone is either a student or has read every book". But what's the use of the existential y outside the bracket? ...