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