Scribd
Upload
101 views6 pages

Review 6: Gongjun Yan

The document discusses logical concepts including: 1) Converse and inverse of conditional statements. 2) Nested predicates and quantification using quantifiers like "there exists" and "for all". 3) How to negate statements with nested quantification by placing the negation in front of the predicate.

Uploaded by

gbland
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
101 views6 pages

Review 6: Gongjun Yan

The document discusses logical concepts including: 1) Converse and inverse of conditional statements. 2) Nested predicates and quantification using quantifiers like "there exists" and "for all". 3) How to negate statements with nested quantification by placing the negation in front of the predicate.

Uploaded by

gbland
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 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

You might also like