CSC165H1 Lecture 3: Lecture 3.doc

37 views2 pages
9 Apr 2012
School
Course
cherryberry1035 and 38883 others unlocked
CSC165H1 Full Course Notes
3
CSC165H1 Full Course Notes
Verified Note
3 documents

Document Summary

= m^c ? (circle with line thru it) claim is false some female employees. To prove an eq, you need to find atleast one example that satisfies the claim. To disprove an eq, you need to show that no example satisfies the claim. Every element is a counter example to claim. There is a asymmetry between uq and eq. To verify a universal claim, show there is no counter example p c= q. To falsify a universal claim, find atleast one counter example p !c= q. To verify a existential claim, find at least one example p q != Falsify a existential claim, show there are no examples p q = Additional terminology from logic: the employee makes less than 55,000, every employee makes less than 55,000. Difference between claims: is a statement about a single (unspecified) True for betty, false for al is a completely specified claim. To denote employee x makes less than 55,000.

Get access

Grade+20% off
$8 USD/m$10 USD/m
Billed $96 USD annually
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
40 Verified Answers
Class+
$8 USD/m
Billed $96 USD annually
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
30 Verified Answers

Related Documents

Related Questions