Review 6

Review 6 Gongjun Yan

Homework • Homework: converse and inverse

Converse and Inverse  p→q  If Paula is here, then Quincy is here.

 Converse:  q→p  Swap the hypothesis and the conclusion  If Quincy is here, then Paula is here.

 Inverse:  ~p → ~q  Negate the hypothesis and negate the conclusion  If Paula is not here, then Quincy is not here. 18 September 2008

Introduction & Propositional Logic

3

Nested Predicate & Quantification • Nested Predicate •

x  P such that B(x) ^ S(x)

• Nested Quantification bB cC, S(b,c) cC bB, S(b,c) bB cC, S(b,c) cC bB, S(b,c) bB cC, S(b,c) cC bB, S(b,c) bB cC, S(b,c) cC bB, S(b,c)

Negations of Nested Quantified Statements

• ~(cC bB, S(b,c)) • cC bB, ~S(b,c) Where C={all chairs}, B={all bears}, and S(b,c) represents “b sitting in c”

Concept • Nested Predicate • Nested Quantification • Nagation of Nested Quantification