Mathematical Logic Part Three
|
|
- Cecilia Norris
- 6 years ago
- Views:
Transcription
1 Mathematical Logic Part Three
2 The Aristotelian Forms All As are Bs x. (A(x B(x Some As are Bs x. (A(x B(x No As are Bs x. (A(x B(x Some As aren t Bs x. (A(x B(x It It is is worth worth committing committing these these patterns patterns to to memory. memory. We ll We ll be be using using them them throughout throughout the the day day and and they they form form the the backbone backbone of of many many firstorder firstorder logic logic translations. translations.
3 The Art of Translation
4 Using the predicates - Person(p, which states that p is a person, and - Loves(x, y, which states that x loves y, write a sentence in first-order logic that means everybody loves someone else.
5 How How many many of of the the following following first-order logic logic statements are are correct correct translations of of everyone loves loves someone someone else? else? p. (Person(p q. (Person(q Loves(p, q p. (Person(p q. (Person(q p q Loves(p, q p. (Person(p q. (Person(q p q Loves(p, q p. (Person(p q. (Person(q p q Loves(p, q Answer Answer at at PollEv.com/cs103 PollEv.com/cs103 or or text text CS103 CS103 to to once once to to join, join, then then 0, 0, 1, 1, 2, 2, 3, 3, or or 4. 4.
6 Everybody loves someone else
7 Every person loves some other person
8 Every person p loves some other person
9 Every person p loves some other person All All As As are are Bs Bs x. x. (A(x (A(x B(x B(x
10 p. (Person(p p loves some other person All All As As are are Bs Bs x. x. (A(x (A(x B(x B(x
11 p. (Person(p p loves some other person
12 p. (Person(p there is some other person that p loves
13 p. (Person(p there is a person other than p that p loves
14 p. (Person(p there is a person q, other than p, where p loves q
15 p. (Person(p there is a person q, other than p, where p loves q
16 p. (Person(p there is a person q, other than p, where p loves q Some Some As As are are Bs Bs x. x. (A(x (A(x B(x B(x
17 p. (Person(p q. (Person(q, other than p, where p loves q Some Some As As are are Bs Bs x. x. (A(x (A(x B(x B(x
18 p. (Person(p q. (Person(q, other than p, where p loves q
19 p. (Person(p q. (Person(q p q p loves q
20 p. (Person(p q. (Person(q p q Loves(p, q
21 Using the predicates - Person(p, which states that p is a person, and - Loves(x, y, which states that x loves y, write a sentence in first-order logic that means there is a person that everyone else loves.
22 There is a person that everyone else loves
23 There is a person p where everyone else loves p
24 There is a person p where everyone else loves p Some Some As As are are Bs Bs x. x. (A(x (A(x B(x B(x
25 p. (Person(p everyone else loves p Some Some As As are are Bs Bs x. x. (A(x (A(x B(x B(x
26 p. (Person(p everyone else loves p
27 p. (Person(p every other person q loves p
28 p. (Person(p every person q, other than p, loves p
29 p. (Person(p every person q, other than p, loves p All All As As are are Bs Bs x. x. (A(x (A(x B(x B(x
30 p. (Person(p q. (Person(q p q q loves p All All As As are are Bs Bs x. x. (A(x (A(x B(x B(x
31 p. (Person(p q. (Person(q p q q loves p
32 p. (Person(p q. (Person(q p q Loves(q, p
33 Combining Quantifiers Most interesting statements in first-order logic require a combination of quantifiers. Example: Everyone loves someone else.
34 Combining Quantifiers Most interesting statements in first-order logic require a combination of quantifiers. Example: Everyone loves someone else. p. (Person(p q. (Person(q p q Loves(p, q
35 Combining Quantifiers Most interesting statements in first-order logic require a combination of quantifiers. Example: Everyone loves someone else. p. (Person(p q. (Person(q p q Loves(p, q For every person,
36 Combining Quantifiers Most interesting statements in first-order logic require a combination of quantifiers. Example: Everyone loves someone else. p. (Person(p q. (Person(q p q Loves(p, q For every person, there is some person
37 Combining Quantifiers Most interesting statements in first-order logic require a combination of quantifiers. Example: Everyone loves someone else. p. (Person(p q. (Person(q p q Loves(p, q For every person, there is some person who isn't them
38 Combining Quantifiers Most interesting statements in first-order logic require a combination of quantifiers. Example: Everyone loves someone else. p. (Person(p q. (Person(q p q Loves(p, q For every person, there is some person who isn't them that they love.
39 Combining Quantifiers Most interesting statements in first-order logic require a combination of quantifiers. Example: There is someone everyone else loves.
40 Combining Quantifiers Most interesting statements in first-order logic require a combination of quantifiers. Example: There is someone everyone else loves. p. (Person(p q. (Person(q p q Loves(q, p
41 Combining Quantifiers Most interesting statements in first-order logic require a combination of quantifiers. Example: There is someone everyone else loves. p. (Person(p q. (Person(q p q Loves(q, p There is some person
42 Combining Quantifiers Most interesting statements in first-order logic require a combination of quantifiers. Example: There is someone everyone else loves. p. (Person(p q. (Person(q p q Loves(q, p There is some person who everyone
43 Combining Quantifiers Most interesting statements in first-order logic require a combination of quantifiers. Example: There is someone everyone else loves. p. (Person(p q. (Person(q p q Loves(q, p There is some person who everyone who isn't them
44 Combining Quantifiers Most interesting statements in first-order logic require a combination of quantifiers. Example: There is someone everyone else loves. p. (Person(p q. (Person(q p q Loves(q, p There is some person who everyone who isn't them loves.
45 For Comparison p. (Person(p q. (Person(q p q Loves(p, q For every person, there is some person who isn't them that they love. p. (Person(p q. (Person(q p q Loves(q, p There is some person who everyone who isn't them loves.
46 Everyone Loves Someone Else
47 Everyone Loves Someone Else No No one one here here is is universally universally loved. loved.
48 There is Someone Everyone Else Loves
49 There is Someone Everyone Else Loves This This person person does does not not love love anyone anyone else. else.
50 Everyone Loves Someone Else and There is Someone Everyone Else Loves
51 p. (Person(p q. (Person(q p q Loves(p, q For every person, there is some person who isn't them that they love. p. (Person(p q. (Person(q p q Loves(q, p There is some person who everyone who isn't them loves.
52 Quantifier Ordering The statement x. y. P(x, y means for any choice of x, there's some choice of y where P(x, y is true. The choice of y can be different every time and can depend on x.
53 Quantifier Ordering The statement x. y. P(x, y means there is some x where for any choice of y, we get that P(x, y is true. Since the inner part has to work for any choice of y, this places a lot of constraints on what x can be.
54 Order matters when mixing existential and universal quantifiers!
55 Time out for a little stretch!
56 B A C D Which Which person person in in this this diagram diagram do do you you most most aspire aspire to to be? be? Answer Answer at at PollEv.com/cs103 PollEv.com/cs103 or or text text CS103 CS103 to to once once to to join, join, then then A, A, B, B, C, C, or or D. D.
57 Back to CS103!
58 Set Translations
59 Using the predicates - Set(S, which states that S is a set, and - x y, which states that x is an element of y, write a sentence in first-order logic that means the empty set exists.
60 Using the predicates - Set(S, which states that S is a set, and - x y, which states that x is an element of y, write a sentence in first-order logic that means the empty set exists. First-order First-order logic logic doesn't doesn't have have set set operators operators or or symbols symbols built built in. in. If If we we only only have have the the predicates predicates given given above, above, how how might might we we describe describe this? this?
61 How How many many of of the the following following first-order logic logic statements are are correct correct translations of of the the empty empty set set exists? exists? S. (Set(S x. x S S. (Set(S x. x S S. (Set(S x. x S S. (Set(S x. x S Answer Answer at at PollEv.com/cs103 PollEv.com/cs103 or or text text CS103 CS103 to to once once to to join, join, then then 0, 0, 1, 1, 2, 2, 3, 3, or or 4. 4.
62 The empty set exists.( ( (
63 There is some set S that is empty.( ( (
64 S. (Set(S S is empty.
65 S. (Set(S there are no elements in S
66 S. (Set(S there is an element in S
67 S. (Set(S there is an element x in S
68 S. (Set(S x. x S
69 S. (Set(S x. x S
70 S. (Set(S x. x S S. (Set(S there are no elements in S(
71 S. (Set(S x. x S S. (Set(S every object does not belong to S(
72 S. (Set(S x. x S S. (Set(S every object x does not belong to S(
73 S. (Set(S x. x S S. (Set(S x. x S
74 S. (Set(S x. x S S. (Set(S x. x S
75 S. (Set(S x. x S S. (Set(S x. x S Both Both of of these these translations translations are are correct. correct. Just Just like like in in propositional propositional logic, logic, there there are are many many different different equivalent equivalent ways ways of of expressing expressing the the same same statement statement in in first-order first-order logic. logic.
76 Mechanics: Negating Statements
77 Which Which of of the the following following is is the the negation negation of of the the statement x. x. y. y. Loves(x, Loves(x, y? y? A. A. x. x. y. y. Loves(x, y y B. B. x. x. y. y. Loves(x, y y C. C. x. x. y. y. Loves(x, y y D. D. x. x. y. y. Loves(x, y y E. E. None None of of these. these. F. F. Two Two or or more more of of these. these. Answer Answer at at PollEv.com/cs103 PollEv.com/cs103 or or text text CS103 CS103 to to once once to to join, join, then then A, A, B, B, C, C, D, D, E, E, or or F. F.
78 An Extremely Important Table x. P(x x. P(x x. P(x x. P(x When is this true? For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x For some choice of x, P(x When is this false? For some choice of x, P(x For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x
79 An Extremely Important Table x. P(x x. P(x x. P(x x. P(x When is this true? For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x For some choice of x, P(x When is this false? For some choice of x, P(x For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x
80 An Extremely Important Table x. P(x x. P(x x. P(x x. P(x When is this true? For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x For some choice of x, P(x When is this false? x. P(x For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x
81 An Extremely Important Table x. P(x x. P(x x. P(x x. P(x When is this true? For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x For some choice of x, P(x When is this false? x. P(x For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x
82 An Extremely Important Table x. P(x x. P(x x. P(x x. P(x When is this true? For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x For some choice of x, P(x When is this false? x. P(x For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x
83 An Extremely Important Table x. P(x x. P(x x. P(x x. P(x When is this true? For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x For some choice of x, P(x When is this false? x. P(x x. P(x For some choice of x, P(x For any choice of x, P(x
84 An Extremely Important Table x. P(x x. P(x x. P(x x. P(x When is this true? For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x For some choice of x, P(x When is this false? x. P(x x. P(x For some choice of x, P(x For any choice of x, P(x
85 An Extremely Important Table x. P(x x. P(x x. P(x x. P(x When is this true? For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x For some choice of x, P(x When is this false? x. P(x x. P(x For some choice of x, P(x For any choice of x, P(x
86 An Extremely Important Table x. P(x x. P(x x. P(x x. P(x When is this true? For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x For some choice of x, P(x When is this false? x. P(x x. P(x x. P(x For any choice of x, P(x
87 An Extremely Important Table x. P(x x. P(x x. P(x x. P(x When is this true? For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x For some choice of x, P(x When is this false? x. P(x x. P(x x. P(x For any choice of x, P(x
88 An Extremely Important Table x. P(x x. P(x x. P(x x. P(x When is this true? For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x For some choice of x, P(x When is this false? x. P(x x. P(x x. P(x For any choice of x, P(x
89 An Extremely Important Table x. P(x x. P(x x. P(x x. P(x When is this true? For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x For some choice of x, P(x When is this false? x. P(x x. P(x x. P(x x. P(x
90 An Extremely Important Table x. P(x x. P(x x. P(x x. P(x When is this true? For any choice of x, P(x For some choice of x, P(x For any choice of x, P(x For some choice of x, P(x When is this false? x. P(x x. P(x x. P(x x. P(x
91 Negating First-Order Statements Use the equivalences to negate quantifiers. Mechanically: x. A x. A x. A x. A Push the negation across the quantifier. Change the quantifier from to or vice-versa. Use techniques from propositional logic to negate connectives.
92 Taking a Negation x. y. Loves(x, y ( Everyone loves someone. x. y. Loves(x, y x. y. Loves(x, y x. y. Loves(x, y ( There's someone who doesn't love anyone.
93 Two Useful Equivalences The following equivalences are useful when negating statements in first-order logic: (p q p q (p q p q These identities are useful when negating statements involving quantifiers. is used in existentially-quantified statements. is used in universally-quantified statements. When pushing negations across quantifiers, we strongly recommend using the above equivalences to keep with and with.
94 Negating Quantifiers What is the negation of the following statement, which says there is a cute puppy? We can obtain it as follows: x. (Puppy(x Cute(x x. (Puppy(x Cute(x x. (Puppy(x Cute(x x. (Puppy(x Cute(x This says no puppy is cute. Do you see why this is the negation of the original statement from both an intuitive and formal perspective?
95 S. (Set(S x. (x S ( There is a set with no elements. S. (Set(S x. (x S S. (Set(S x. (x S S. (Set(S x. (x S S. (Set(S x. (x S S. (Set(S x. x S ( Every set contains at least one element.
96 These two statements are not negations of one another. Can you explain why? S. (Set(S x. (x S ( There is a set that doesn't contain anything S. (Set(S x. (x S ( Everything is a set that contains something Remember: usually goes goes with with,, not not
97 Restricted Quantifiers
98 Quantifying Over Sets The notation x S. P(x means for any element x of set S, P(x holds. (It s vacuously true if S is empty. The notation x S. P(x means there is an element x of set S where P(x holds. (It s false if S is empty.
99 Quantifying Over Sets The syntax x S. φ x S. φ is allowed for quantifying over sets. In CS103, feel free to use these restricted quantifiers, but please do not use variants of this syntax. For example, don't do things like this: x with P(x. Q(x y such that P(y Q(y. R(y. P(x. Q(x
100 Expressing Uniqueness
101 Using the predicate - Level(l, which states that l is a level, write a sentence in first-order logic that means there is only one level. A A fun fun diversion: diversion:
102 There is only one level.
103 Something is a level, and nothing else is.
104 Some thing l is a level, and nothing else is.
105 Some thing l is a level, and nothing besides l is a level
106 l. (Level(l nothing besides l is a level.
107 l. (Level(l anything that isn't l isn't a level
108 l. (Level(l any thing x that isn't l isn't a level
109 l. (Level(l x. (x l x isn't a level
110 l. (Level(l x. (x l Level(x
111 l. (Level(l x. (x l Level(x
112 l. (Level(l x. (Level(x x = l
113 Expressing Uniqueness To express the idea that there is exactly one object with some property, we write that there exists at least one object with that property, and that there are no other objects with that property. You sometimes see a special uniqueness quantifier used to express this:!x. P(x For the purposes of CS103, please do not use this quantifier. We want to give you more practice using the regular and quantifiers.
114 Using the predicates - Set(S, which states that S is a set, and - x y, which states that x is an element of y, write a sentence in first-order logic that means two sets are equal if and only if they contain the same elements.
115 Two sets are equal if and only if they have the same elements.
116 Any two sets are equal if and only if they have the same elements.
117 Any two sets S and T are equal if and only if they have the same elements.
118 S. (Set(S T. (Set(T S and T are equal if and only if they have the same elements.
119 S. (Set(S T. (Set(T (S = T if and only if they have the same elements.
120 S. (Set(S T. (Set(T (S = T they have the same elements.
121 S. (Set(S T. (Set(T (S = T S and T have the same elements.
122 S. (Set(S T. (Set(T (S = T every element of S is an element of T and vice-versa
123 S. (Set(S T. (Set(T (S = T x is an element of S if and only if x is an element of T
124 S. (Set(S T. (Set(T (S = T x. (x S x T
125 S. (Set(S T. (Set(T (S = T x. (x S x T
126 S. (Set(S T. (Set(T (S = T x. (x S x T You You sometimes sometimes see see the the universal universal quantifier quantifier pair pair with with the the connective. connective. This This is is especially especially common common when when talking talking about about sets sets because because two two sets sets are are equal equal when when they they have have precisely precisely the the same same elements. elements.
127 S. (Set(S T. (Set(T (S = T x. (x S x T
128 Next Time Binary Relations How do we model connections between objects? Equivalence Relations How do we model the idea that objects can be grouped into clusters? First-Order Definitions Where does first-order logic come into all of this? Proofs with Definitions How does first-order logic interact with proofs?
Mathematical Logic Part Three
Mathematical Logic Part Three Recap from Last Time What is First-Order Logic? First-order logic is a logical system for reasoning about properties of objects. Augments the logical connectives from propositional
More informationMathematical Logic Part Three
Mathematical Logic Part Three Recap from Last Time What is First-Order Logic? First-order logic is a logical system for reasoning about properties of objects. Augments the logical connectives from propositional
More informationMathematical Logic Part Three
Mathematical Logic Part Three Recap from Last Time What is First-Order Logic? First-order logic is a logical system for reasoning about properties of objects. Augments the logical connectives from propositional
More informationMathematical Logic Part Two
Mathematical Logic Part Two Outline for Today Recap from Last Time The Contrapositive Using Propositional Logic First-Order Logic First-Order Translations Recap from Last Time Recap So Far A propositional
More informationPredicate Logic. CSE 191, Class Note 02: Predicate Logic Computer Sci & Eng Dept SUNY Buffalo
Predicate Logic CSE 191, Class Note 02: Predicate Logic Computer Sci & Eng Dept SUNY Buffalo c Xin He (University at Buffalo) CSE 191 Discrete Structures 1 / 22 Outline 1 From Proposition to Predicate
More informationAnnouncements. CS311H: Discrete Mathematics. Introduction to First-Order Logic. A Motivating Example. Why First-Order Logic?
Announcements CS311H: Discrete Mathematics Introduction to First-Order Logic Instructor: Işıl Dillig Homework due at the beginning of next lecture Please bring a hard copy of solutions to class! Instructor:
More informationFormal Logic: Quantifiers, Predicates, and Validity. CS 130 Discrete Structures
Formal Logic: Quantifiers, Predicates, and Validity CS 130 Discrete Structures Variables and Statements Variables: A variable is a symbol that stands for an individual in a collection or set. For example,
More informationGuide to Negating Formulas
Guide to Negating Formulas Hi everybody! We spent a little bit of time in class talking about how to negate formulas in propositional or frst-order logic. This is a really valuable skill! If you ever need
More informationCS103 Handout 47 Spring 2018 Practice CS103 Final Exam V
CS103 Handout 47 Spring 2018 Practice CS103 Final Exam V We strongly recommend that you work through this exam under realistic conditions rather than just flipping through the problems and seeing what
More informationTHE LOGIC OF QUANTIFIED STATEMENTS
CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 3.2 Predicates and Quantified Statements II Copyright Cengage Learning. All rights reserved. Negations
More informationMath.3336: Discrete Mathematics. Nested Quantifiers
Math.3336: Discrete Mathematics Nested Quantifiers Instructor: Dr. Blerina Xhabli Department of Mathematics, University of Houston https://www.math.uh.edu/ blerina Email: blerina@math.uh.edu Fall 2018
More informationLogic and Modelling. Introduction to Predicate Logic. Jörg Endrullis. VU University Amsterdam
Logic and Modelling Introduction to Predicate Logic Jörg Endrullis VU University Amsterdam Predicate Logic In propositional logic there are: propositional variables p, q, r,... that can be T or F In predicate
More informationMathematical Logic Part One
Mathematical Logic Part One Question: How do we formalize the definitions and reasoning we use in our proofs? Where We're Going Propositional Logic (oday) Basic logical connectives. ruth tables. Logical
More information3.1 Universal quantification and implication again. Claim 1: If an employee is male, then he makes less than 55,000.
Chapter 3 Logical Connectives 3.1 Universal quantification and implication again So far we have considered an implication to be universal quantication in disguise: Claim 1: If an employee is male, then
More informationIntroduction to Predicate Logic Part 1. Professor Anita Wasilewska Lecture Notes (1)
Introduction to Predicate Logic Part 1 Professor Anita Wasilewska Lecture Notes (1) Introduction Lecture Notes (1) and (2) provide an OVERVIEW of a standard intuitive formalization and introduction to
More informationNegations of Quantifiers
Negations of Quantifiers Lecture 10 Section 3.2 Robb T. Koether Hampden-Sydney College Thu, Jan 31, 2013 Robb T. Koether (Hampden-Sydney College) Negations of Quantifiers Thu, Jan 31, 2013 1 / 20 1 Negations
More informationSection Summary. Section 1.5 9/9/2014
Section 1.5 Section Summary Nested Quantifiers Order of Quantifiers Translating from Nested Quantifiers into English Translating Mathematical Statements into Statements involving Nested Quantifiers Translated
More informationSYMBOLIC LOGIC UNIT 10: SINGULAR SENTENCES
SYMBOLIC LOGIC UNIT 10: SINGULAR SENTENCES Singular Sentences name Paris is beautiful (monadic) predicate (monadic) predicate letter Bp individual constant Singular Sentences Bp These are our new simple
More informationMathematical Logic Part One
Mathematical Logic Part One Question: How do we formalize the defnitions and reasoning we use in our proofs? Where We're Going Propositional Logic (Today) Basic logical connectives. Truth tables. Logical
More information3. The Logic of Quantified Statements Summary. Aaron Tan August 2017
3. The Logic of Quantified Statements Summary Aaron Tan 28 31 August 2017 1 3. The Logic of Quantified Statements 3.1 Predicates and Quantified Statements I Predicate; domain; truth set Universal quantifier,
More informationPropositional Logic Not Enough
Section 1.4 Propositional Logic Not Enough If we have: All men are mortal. Socrates is a man. Does it follow that Socrates is mortal? Can t be represented in propositional logic. Need a language that talks
More informationMat 243 Exam 1 Review
OBJECTIVES (Review problems: on next page) 1.1 Distinguish between propositions and non-propositions. Know the truth tables (i.e., the definitions) of the logical operators,,,, and Write truth tables for
More information3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations
Logic Propositions and logical operations Main concepts: propositions truth values propositional variables logical operations 1 Propositions and logical operations A proposition is the most basic element
More informationQuantifiers Here is a (true) statement about real numbers: Every real number is either rational or irrational.
Quantifiers 1-17-2008 Here is a (true) statement about real numbers: Every real number is either rational or irrational. I could try to translate the statement as follows: Let P = x is a real number Q
More informationQuantifiers. P. Danziger
- 2 Quantifiers P. Danziger 1 Elementary Quantifiers (2.1) We wish to be able to use variables, such as x or n in logical statements. We do this by using the two quantifiers: 1. - There Exists 2. - For
More informationLogic. Stephen G. Ware CSCI 4525 / 5525
Logic Stephen G. Ware CSCI 4525 / 5525 Logic How can we represent knowledge about the world in a general, reusable way? How can we use existing knowledge to gain new knowledge? Problem Solving Approaches
More informationOutline for Today. What is an Implication? Negations and their Applications. Proof by Contrapositive. Proof by Contradiction
Indirect Proofs Outline for Today What is an Implication? Understanding a key type of mathematical statement. Negations and their Applications How do you show something is not true? Proof by Contrapositive
More informationOutline for Today. What is an Implication? Negations and their Applications. Proof by Contrapositive. Proof by Contradiction
Indirect Proofs Outline for Today What is an Implication? Understanding a key type of mathematical statement. Negations and their Applications How do you show something is not true? Proof by Contrapositive
More informationA Little Deductive Logic
A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that
More informationPredicate Calculus. Lila Kari. University of Waterloo. Predicate Calculus CS245, Logic and Computation 1 / 59
Predicate Calculus Lila Kari University of Waterloo Predicate Calculus CS245, Logic and Computation 1 / 59 Predicate Calculus Alternative names: predicate logic, first order logic, elementary logic, restricted
More informationChapter 2: The Logic of Quantified Statements
Chapter 2: The Logic of Quantified Statements Topics include 2.1, 2.2 Predicates and Quantified Statements, 2.3 Statements with Multiple Quantifiers, and 2.4 Arguments with Quantified Statements. cs1231y
More informationPredicates, Quantifiers and Nested Quantifiers
Predicates, Quantifiers and Nested Quantifiers Predicates Recall the example of a non-proposition in our first presentation: 2x=1. Let us call this expression P(x). P(x) is not a proposition because x
More informationTHE LOGIC OF QUANTIFIED STATEMENTS. Statements with Multiple Quantifiers. Statements with Multiple Quantifiers CHAPTER 3 SECTION 3.
CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS SECTION 3.3 Statements with Multiple Quantifiers Copyright Cengage Learning. All rights reserved. Copyright Cengage Learning. All rights reserved. When a statement
More informationThinking of Nested Quantification
Section 1.5 Section Summary Nested Quantifiers Order of Quantifiers Translating from Nested Quantifiers into English Translating Mathematical Statements into Statements involving Nested Quantifiers. Translating
More informationCS103 Handout 09 Fall 2012 October 19, 2012 Problem Set 4
CS103 Handout 09 Fall 2012 October 19, 2012 Problem Set 4 This fourth problem set explores propositional and first-order logic, along with its applications. Once you've completed it, you should have a
More informationA Little Deductive Logic
A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that
More informationDiscrete Mathematics and Its Applications
Discrete Mathematics and Its Applications Lecture 1: The Foundations: Logic and Proofs (1.3-1.5) MING GAO DASE @ ECNU (for course related communications) mgao@dase.ecnu.edu.cn Sep. 19, 2017 Outline 1 Logical
More informationStanford University CS103: Math for Computer Science Handout LN9 Luca Trevisan April 25, 2014
Stanford University CS103: Math for Computer Science Handout LN9 Luca Trevisan April 25, 2014 Notes for Lecture 9 Mathematical logic is the rigorous study of the way in which we prove the validity of mathematical
More informationCS 730/730W/830: Intro AI
CS 730/730W/830: Intro AI 1 handout: slides 730W journal entries were due Wheeler Ruml (UNH) Lecture 9, CS 730 1 / 16 Logic First-Order Logic The Joy of Power Wheeler Ruml (UNH) Lecture 9, CS 730 2 / 16
More informationPredicate Calculus - Syntax
Predicate Calculus - Syntax Lila Kari University of Waterloo Predicate Calculus - Syntax CS245, Logic and Computation 1 / 26 The language L pred of Predicate Calculus - Syntax L pred, the formal language
More informationMathematical Logic Part One
Mathematical Logic Part One An Important Question How do we formalize the logic we've been using in our proofs? Where We're Going Propositional Logic (oday) Basic logical connectives. ruth tables. Logical
More informationPredicate Calculus lecture 1
Predicate Calculus lecture 1 Section 1.3 Limitation of Propositional Logic Consider the following reasoning All cats have tails Gouchi is a cat Therefore, Gouchi has tail. MSU/CSE 260 Fall 2009 1 MSU/CSE
More informationRecommended Reading. A Brief History of Infinity The Mystery of the Aleph Everything and More
Direct Proofs Recommended Reading A Brief History of Infinity The Mystery of the Aleph Everything and More Recommended Courses Math 161: Set Theory What is a Proof? Induction and Deduction In the sciences,
More informationIntroduction to Sets and Logic (MATH 1190)
Introduction to Sets Logic () Instructor: Email: shenlili@yorku.ca Department of Mathematics Statistics York University Sept 18, 2014 Outline 1 2 Tautologies Definition A tautology is a compound proposition
More informationTransparencies to accompany Rosen, Discrete Mathematics and Its Applications Section 1.3. Section 1.3 Predicates and Quantifiers
Section 1.3 Predicates and Quantifiers A generalization of propositions - propositional functions or predicates.: propositions which contain variables Predicates become propositions once every variable
More informationSection Summary. Predicate logic Quantifiers. Negating Quantifiers. Translating English to Logic. Universal Quantifier Existential Quantifier
Section 1.4 Section Summary Predicate logic Quantifiers Universal Quantifier Existential Quantifier Negating Quantifiers De Morgan s Laws for Quantifiers Translating English to Logic Propositional Logic
More informationSection Summary. Predicates Variables Quantifiers. Negating Quantifiers. Translating English to Logic Logic Programming (optional)
Predicate Logic 1 Section Summary Predicates Variables Quantifiers Universal Quantifier Existential Quantifier Negating Quantifiers De Morgan s Laws for Quantifiers Translating English to Logic Logic Programming
More informationCM10196 Topic 2: Sets, Predicates, Boolean algebras
CM10196 Topic 2: Sets, Predicates, oolean algebras Guy McCusker 1W2.1 Sets Most of the things mathematicians talk about are built out of sets. The idea of a set is a simple one: a set is just a collection
More informationPhilosophy 240 Symbolic Logic Russell Marcus Hamilton College Fall 2014
Philosophy 240 Symbolic Logic Russell Marcus Hamilton College Fall 2014 Class #23 - Translation into Predicate Logic II ( 3.2) Only as a Quantifier P Only Ps are Qs is logically equivalent to all Qs are
More informationFirst-Order Logic (FOL)
First-Order Logic (FOL) Also called Predicate Logic or Predicate Calculus 2. First-Order Logic (FOL) FOL Syntax variables x, y, z, constants a, b, c, functions f, g, h, terms variables, constants or n-ary
More informationSection 2.3: Statements Containing Multiple Quantifiers
Section 2.3: Statements Containing Multiple Quantifiers In this section, we consider statements such as there is a person in this company who is in charge of all the paperwork where more than one quantifier
More informationLogic for Computer Science Handout Week 8 DERIVED RULE MODUS TOLLENS DERIVED RULE RAA DERIVED RULE TND
Logic for Computer Science Handout Week 8 DERIVED RULE MODUS TOLLENS We have last week completed the introduction of a calculus, which is sound and complete. That is, we can syntactically establish the
More informationPredicate Logic Thursday, January 17, 2013 Chittu Tripathy Lecture 04
Predicate Logic Today s Menu Predicate Logic Quantifiers: Universal and Existential Nesting of Quantifiers Applications Limitations of Propositional Logic Suppose we have: All human beings are mortal.
More informationLogic. Foundations of First Order Logic. franconi. Enrico Franconi
(1/41) Logic Foundations of First Order Logic Enrico Franconi franconi@inf.unibz.it http://www.inf.unibz.it/ franconi Faculty of Computer Science, Free University of Bozen-Bolzano (2/41) Motivation We
More informationReview: Potential stumbling blocks
Review: Potential stumbling blocks Whether the negation sign is on the inside or the outside of a quantified statement makes a big difference! Example: Let T(x) x is tall. Consider the following: x T(x)
More informationG52DOA - Derivation of Algorithms Predicate Logic
G52DOA - Derivation of Algorithms Predicate Logic Venanzio Capretta Predicate Logic So far, we studied propositional logic, in which we started with unspecified propositional variables A, B, C, and combined
More informationPredicate Logic: Sematics Part 1
Predicate Logic: Sematics Part 1 CS402, Spring 2018 Shin Yoo Predicate Calculus Propositional logic is also called sentential logic, i.e. a logical system that deals with whole sentences connected with
More informationLogic: First Order Logic (Part I)
Logic: First Order Logic (Part I) Alessandro Artale Free University of Bozen-Bolzano Faculty of Computer Science http://www.inf.unibz.it/ artale Descrete Mathematics and Logic BSc course Thanks to Prof.
More informationSection Summary. Predicate logic Quantifiers. Negating Quantifiers. Translating English to Logic. Universal Quantifier Existential Quantifier
Section 1.4 Section Summary Predicate logic Quantifiers Universal Quantifier Existential Quantifier Negating Quantifiers De Morgan s Laws for Quantifiers Translating English to Logic Propositional Logic
More informationProseminar on Semantic Theory Fall 2013 Ling 720 First Order (Predicate) Logic: Syntax and Natural Deduction 1
First Order (Predicate) Logic: Syntax and Natural Deduction 1 A Reminder of Our Plot I wish to provide some historical and intellectual context to the formal tools that logicians developed to study the
More informationCSI30. Chapter 1. The Foundations: Logic and Proofs Nested Quantifiers
Chapter 1. The Foundations: Logic and Proofs 1.9-1.10 Nested Quantifiers 1 Two quantifiers are nested if one is within the scope of the other. Recall one of the examples from the previous class: x ( P(x)
More informationMATH 22 INFERENCE & QUANTIFICATION. Lecture F: 9/18/2003
MATH 22 Lecture F: 9/18/2003 INFERENCE & QUANTIFICATION Sixty men can do a piece of work sixty times as quickly as one man. One man can dig a post-hole in sixty seconds. Therefore, sixty men can dig a
More information2-4: The Use of Quantifiers
2-4: The Use of Quantifiers The number x + 2 is an even integer is not a statement. When x is replaced by 1, 3 or 5 the resulting statement is false. However, when x is replaced by 2, 4 or 6 the resulting
More informationStructural Induction
Structural Induction In this lecture we ll extend the applicability of induction to many universes, ones where we can define certain kinds of objects by induction, in addition to proving their properties
More informationSection 8.3 Higher-Order Logic A logic is higher-order if it allows predicate names or function names to be quantified or to be arguments of a
Section 8.3 Higher-Order Logic A logic is higher-order if it allows predicate names or function names to be quantified or to be arguments of a predicate. Example. The sentence, There is a function with
More information! Predicates! Variables! Quantifiers. ! Universal Quantifier! Existential Quantifier. ! Negating Quantifiers. ! De Morgan s Laws for Quantifiers
Sec$on Summary (K. Rosen notes for Ch. 1.4, 1.5 corrected and extended by A.Borgida)! Predicates! Variables! Quantifiers! Universal Quantifier! Existential Quantifier! Negating Quantifiers! De Morgan s
More informationMathematical Logic Part Three
Mathematical Logic Part hree riday our Square! oday at 4:15PM, Outside Gates Announcements Problem Set 3 due right now. Problem Set 4 goes out today. Checkpoint due Monday, October 22. Remainder due riday,
More informationMathematical Logic Part One
Mathematical Logic Part One Announcements Problem Session tonight from 7:00 7:50 in 380-380X. Optional, but highly recommended! Problem Set 3 Checkpoint due right now. 2 Handouts Problem Set 3 Checkpoint
More informationMathematical Logic Part One
Mathematical Logic Part One Question: How do we formalize the definitions and reasoning we use in our proofs? Where We're Going Propositional Logic (Today) Basic logical connectives. Truth tables. Logical
More informationSection 2.1: Introduction to the Logic of Quantified Statements
Section 2.1: Introduction to the Logic of Quantified Statements In the previous chapter, we studied a branch of logic called propositional logic or propositional calculus. Loosely speaking, propositional
More informationConvert to clause form:
Convert to clause form: Convert the following statement to clause form: x[b(x) ( y [ Q(x,y) P(y) ] y [ Q(x,y) Q(y,x) ] y [ B(y) E(x,y)] ) ] 1- Eliminate the implication ( ) E1 E2 = E1 E2 x[ B(x) ( y [
More informationTHE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements I CHAPTER 3 SECTION 3.
CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS SECTION 3.1 Predicates and Quantified Statements I Copyright Cengage Learning. All rights reserved. Copyright Cengage Learning. All rights reserved. Predicates
More informationDiscrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 1
EECS 70 Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 1 Getting Started In order to be fluent in mathematical statements, you need to understand the basic framework of the language
More informationCS1021. Why logic? Logic about inference or argument. Start from assumptions or axioms. Make deductions according to rules of reasoning.
3: Logic Why logic? Logic about inference or argument Start from assumptions or axioms Make deductions according to rules of reasoning Logic 3-1 Why logic? (continued) If I don t buy a lottery ticket on
More informationFirst order Logic ( Predicate Logic) and Methods of Proof
First order Logic ( Predicate Logic) and Methods of Proof 1 Outline Introduction Terminology: Propositional functions; arguments; arity; universe of discourse Quantifiers Definition; using, mixing, negating
More informationPredicate Logic. Predicates. Math 173 February 9, 2010
Math 173 February 9, 2010 Predicate Logic We have now seen two ways to translate English sentences into mathematical symbols. We can capture the logical form of a sentence using propositional logic: variables
More informationSolutions to Exercises (Sections )
s to Exercises (Sections 1.1-1.10) Section 1.1 Exercise 1.1.1: Identifying propositions (a) Have a nice day. : Command, not a proposition. (b) The soup is cold. : Proposition. Negation: The soup is not
More information22c:145 Artificial Intelligence. First-Order Logic. Readings: Chapter 8 of Russell & Norvig.
22c:145 Artificial Intelligence First-Order Logic Readings: Chapter 8 of Russell & Norvig. Einstein s Puzzle in Logic We used propositinal variables to specify everything: x 1 = house #1 is red ; x 2 =
More informationFor all For every For each For any There exists at least one There exists There is Some
Section 1.3 Predicates and Quantifiers Assume universe of discourse is all the people who are participating in this course. Also let us assume that we know each person in the course. Consider the following
More informationDirect Proof and Proof by Contrapositive
Dr. Nahid Sultana October 14, 2012 Consider an implication: p q. Then p q p q T T T T F F F T T F F T Consider an implication: p q. Then p q p q T T T T F F F T T F F T Consider x D, p(x) q(x). It can
More informationLing 130 Notes: Syntax and Semantics of Propositional Logic
Ling 130 Notes: Syntax and Semantics of Propositional Logic Sophia A. Malamud January 21, 2011 1 Preliminaries. Goals: Motivate propositional logic syntax and inferencing. Feel comfortable manipulating
More informationRussell s logicism. Jeff Speaks. September 26, 2007
Russell s logicism Jeff Speaks September 26, 2007 1 Russell s definition of number............................ 2 2 The idea of reducing one theory to another.................... 4 2.1 Axioms and theories.............................
More informationL435/L555. Dept. of Linguistics, Indiana University Fall 2016
in in L435/L555 Dept. of Linguistics, Indiana University Fall 2016 1 / 13 in we know how to output something on the screen: print( Hello world. ) input: input() returns the input from the keyboard
More informationPredicate in English. Predicates and Quantifiers. Predicate in Logic. Propositional Functions: Prelude. Propositional Function
Predicates and Quantifiers Chuck Cusack Predicate in English In English, a sentence has 2 parts: the subject and the predicate. The predicate is the part of the sentence that states something about the
More informationFinal Exam Theory Quiz Answer Page
Philosophy 120 Introduction to Logic Final Exam Theory Quiz Answer Page 1. (a) is a wff (and a sentence); its outer parentheses have been omitted, which is permissible. (b) is also a wff; the variable
More informationLoop Convergence. CS 536: Science of Programming, Fall 2018
Solved Loop Convergence CS 536: Science of Programming, Fall 2018 A. Why Diverging programs aren t useful, so it s useful to know how to show that loops terminate. B. Objectives At the end of this lecture
More informationLecture 4. Predicate logic
Lecture 4 Predicate logic Instructor: Kangil Kim (CSE) E-mail: kikim01@konkuk.ac.kr Tel. : 02-450-3493 Room : New Milenium Bldg. 1103 Lab : New Engineering Bldg. 1202 All slides are based on CS441 Discrete
More informationGödel s Incompleteness Theorems
Seminar Report Gödel s Incompleteness Theorems Ahmet Aspir Mark Nardi 28.02.2018 Supervisor: Dr. Georg Moser Abstract Gödel s incompleteness theorems are very fundamental for mathematics and computational
More informationIntroduction to first-order logic:
Introduction to first-order logic: First-order structures and languages. Terms and formulae in first-order logic. Interpretations, truth, validity, and satisfaction. Valentin Goranko DTU Informatics September
More informationICS141: Discrete Mathematics for Computer Science I
ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Originals slides by Dr. Baek and Dr. Still, adapted by J. Stelovsky Based on slides Dr. M. P. Frank and Dr. J.L. Gross
More informationRecitation 4: Quantifiers and basic proofs
Math 299 Recitation 4: Quantifiers and basic proofs 1. Quantifiers in sentences are one of the linguistic constructs that are hard for computers to handle in general. Here is a nice pair of example dialogues:
More informationLogic - recap. So far, we have seen that: Logic is a language which can be used to describe:
Logic - recap So far, we have seen that: Logic is a language which can be used to describe: Statements about the real world The simplest pieces of data in an automatic processing system such as a computer
More informationCS70 is a course about on Discrete Mathematics for Computer Scientists. The purpose of the course is to teach you about:
CS 70 Discrete Mathematics for CS Fall 2006 Papadimitriou & Vazirani Lecture 1 Course Outline CS70 is a course about on Discrete Mathematics for Computer Scientists. The purpose of the course is to teach
More informationLIN1032 Formal Foundations for Linguistics
LIN1032 Formal Foundations for Lecture 5 Albert Gatt In this lecture We conclude our discussion of the logical connectives We begin our foray into predicate logic much more expressive than propositional
More informationExamples: P: it is not the case that P. P Q: P or Q P Q: P implies Q (if P then Q) Typical formula:
Logic: The Big Picture Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about time (and
More informationQuantification in the predicate calculus
Quantification in the predicate calculus PHIL 43916 eptember 5, 2012 1. The problem posed by quantified sentences... 1 2. yntax of PC... 2 3. Bound and free iables... 3 4. Models and assignments... 4 5.
More informationPHIL 50 INTRODUCTION TO LOGIC 1 FREE AND BOUND VARIABLES MARCELLO DI BELLO STANFORD UNIVERSITY DERIVATIONS IN PREDICATE LOGIC WEEK #8
PHIL 50 INTRODUCTION TO LOGIC MARCELLO DI BELLO STANFORD UNIVERSITY DERIVATIONS IN PREDICATE LOGIC WEEK #8 1 FREE AND BOUND VARIABLES Before discussing the derivation rules for predicate logic, we should
More informationChapter 3. Cartesian Products and Relations. 3.1 Cartesian Products
Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing
More informationCS560 Knowledge Discovery and Management. CS560 - Lecture 3 1
CS560 Knowledge Discovery and Management Yugi Lee STB #560D (816) 235-5932 leeyu@umkc.edu www.sce.umkc.edu/~leeyu CS560 - Lecture 3 1 Logic A logic allows the axiomatization of the domain information,
More informationChapter 2: The Logic of Quantified Statements. January 22, 2010
Chapter 2: The Logic of Quantified Statements January 22, 2010 Outline 1 2.1- Introduction to Predicates and Quantified Statements I 2 2.2 - Introduction to Predicates and Quantified Statements II 3 2.3
More information