Class Notes (836,365)
Canada (509,756)
CSC165H1 (167)
Lecture 3

Lecture 3.doc

2 Pages
73 Views
Unlock Document

Department
Computer Science
Course
CSC165H1
Professor
Tom Fairgrieve
Semester
Winter

Description
Some employee makes more than 80000A set of employees making80000 Mccircle with line thru itclaim is falsesome female employees To prove an EQ you need to find atleast one example that satisfies the claimTo disprove an EQ you need to show that no example satisfies the claim every element is a counter example to claimthere is a asymmetry between UQ and EQUQ every P is a QEQ Some P is a Q to verify a universal claim show there is no counter example P C Qto falsify a universal claim find atleast one counter example P C Q to verify a existential claim find at least one exampl
More Less

Related notes for CSC165H1

Log In


OR

Join OneClass

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

Sign up

Join to view


OR

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.


Submit