Lecture_18_10 - Lecture 18 Lecture 18 Section 8.3 Section...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Lecture 18 Lecture 18 Section 8.3 Section 8.3 1. 2. Common quantificational forms Every Y is a Z Some Y is a Z Relativized quantifiers Many­sorted languages Exercise 8.4 Exercise 8.4 1. 2. 3. 4. Claire and Edith like the same men. The women who like Jack do not like Harry. Only Ann is liked by Harry and David. David is not happy unless two women like him. Exercise 8.5 Exercise 8.5 1. 2. 3. 4. One woman in the room knows all the men there. No one in the room knows every person there. Someone in the room does not know any other person. Someone can be admitted to the club only if two club members vouch for him. If time allows … If time allows … First pass at formal semantics for FOL. Additional remarks about definable sets. Looking ahead. Exam 2 Exam 2 Mean ≈ 81 Grade range A B C D F Score range 90 ­ 100 80 ­ 89 70 ­ 79 60 ­ 69 60 < # students 34 21 15 6 5 ...
View Full Document

This note was uploaded on 02/27/2011 for the course PHILOSOPHY 101 taught by Professor H during the Spring '11 term at Columbia College.

Ask a homework question - tutors are online