Review 5

Gongjun Yan

Proof & hw
• Reference proof • Homework 3
– Pp. 72: 9

Negation of Quantified Statements
~ (x Here(x))  x ~ H(x) ~(There is a person who is here.)  For all people, each person is not here. Same in meaning as "There is no person here." ~ (x H(x))  x ~ H(x) ~(For all people, each person is here.)  There is some person who is not here.

Concepts
• Translation (english   logic) • Negation of Quantification

Assignment 1
• Graded by my TA • Golden score: 11.9 • Silver score: 11.8 • Bronze score: 11.7