Write each statement in plain English not x px Lambda qx whe

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\".

Solution

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.