Write each statement in plain English. not [x, (p(x) Lambda (q((x)))], where the
ID: 3010074 • Letter: W
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.