Class Notes (838,242)
Canada (510,788)
York University (35,470)
MODR 2640 (8)
all (8)
Lecture

R March 1, 2012.pdf

1 Page
91 Views
Unlock Document

Department
Modes Of Reasoning
Course
MODR 2640
Professor
All Professors
Semester
Winter

Description
R March 1, 2012 Thursday,March01, 210:55 AM 10.2 Overlapping Quantifiers (p. 229) Everything is better than everything.(x)(y)Bxy Something is better than something. (∃x)(∃y)Bxy Nothingis better than anything. (x)(y)~Bxy Something is not better thansomething(∃x)(∃y)~Bxy 10.3 Expansions& Overlapping Quantifiers(p. 229) Remember-- (x)Fx requires that every substitutioninstanceof Fx is true. Some holdsfor more complex sentences: (x)(Fx · Gx) requires every substitutioninstance of (Fx · Gx) is true. Works the same way for overlappingquantifiers. (x)(y)Lxy Here we want to remove the (x) quantifier.It appliesto everythingthat followsso we need every substitutioninstance of (y)Lxy to be true. Whentaking a substitutioninstance, only free occurrences of the variable get replaced.
More Less

Related notes for MODR 2640

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