Write each statement in plain English. not [x, (p(x) Lambda (q((x)))], where the

Question

Write each statement in plain English. not [x, (p(x) Lambda (q((x)))], where the universe of x is all Canadian citizens, p(x) is the statement "x is eligible to vote in a municipal election" and q(x) is the statement "x is 18 years old or older." Forall x, |(x notequalto "Quebec") rightarrow v(x)] Lambda not v ("Quebec"), where the universe of x is the collection of all major Canadian cities, and v(x) is the assertion "Gary has visited x". s, Forall t, p(s) Lambda [(t notequalto s) rightarrow not p(t), where the universe of s and t is the collection of all students who completed Math 122 last fall, and p(s) is the assertion "s got 100% on the final exam".

Explanation / Answer

b) given x implies all major cnadian cities

v (x) imples gary has visited x

from the given mathematical statements,

we infer that gary has viisted all major candian cities and he did not visited quebee.

Related Questions

Navigate

• Browse (All)
• Browse W
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.