Class Notes (806,630)
Canada (492,364)
CSC165H1 (160)
Lecture 2

Lecture 2.doc

4 Pages
Unlock Document

University of Toronto St. George
Computer Science
Tom Fairgrieve

Claims True or False have formCertain things have certain properties1Every employee makes less than 70000True or False TrueHow Check whether or not claim is true for every employeeWords Every Each AllIndicate universal claim refers to every object of domain quantification connecting prop Of elements to prop Of set2Each employee makes less than 700003All employees make less than 70000In logicUQuniversal quantification refers to every object in domainIn EnglishEvery January it shows in Torontoconsider true thought acknowledge does not always holdClaim4Each employee makes atleast 10000A false claim Since betty makes under 10000Betty is a counter example to the claim5All female employees make less than 55000TrueHow Restrict domain to females Betty Ellen Flo and check claim6All male employees make less than 55000FalseHow Restrict domain to males and checkAl is a counter example Note To show that a universally quantified statement like All Ps are QsIs true need to show every P has property QTo show false just one single counter example find a P that is not a QProperties as sets5 All female employees makes less than 55000Define Ethe set of all employees our universe domain Al Betty Carlos Doug Ellen FloFthe set of all female employees Betty Ellen FloLthe set of employees making under 55000 Betty Carlos Doug Ellen Flo
More Less

Related notes for CSC165H1

Log In


Don't have an account?

Join OneClass

Access over 10 million pages of study
documents for 1.3 million courses.

Sign up

Join to view


By registering, I agree to the Terms and Privacy Policies
Already have an account?
Just a few more details

So we can recommend you notes for your school.

Reset Password

Please enter below the email address you registered with and we will send you a link to reset your password.

Add your courses

Get notes from the top students in your class.