MATH 1P66 Lecture 5: Math Lecture #5
13 Oct 2018
School
Department
Course
Professor
MATH 1P66 verified notes
5/25View all
Document Summary
Negation: xp(x) (cid:3247)there is a flower that is not red(cid:3248) Xp(x) = x p(x: n(x): x has visited north dakota domain={students at brock u, xn(x) There is a student at brock u who has visited north dakota: xn(x) There is no student at brock u who has visited north dakota: x n(x) No student at brock u has visited north dakota: c(x): x is a comedian. F(x): x is funny domain={people: x(c(x) f(x)) all comedians are funny. Xc(x) xf(x) if every person is a comedian, then every person is funny. Every person is a funny comedian: x(c(x) f(x)) There is a funny person unless he/she is not a comedian. If there is a comedian, then there is a comedian that is funny: x(c(x)^f(x)) Domain = r: x(x^2=-1) false, x(x^2 =/ x) Whenever ( niversal quantifier) use counter example: (x^2+2(cid:3640) 1) true. X p(x) = xp(x) c)all your friends are perfect f(x): x is your friend.
