lecture 8 predicate logic tf4233 mathematical logic semester 2, 2006/2007 dr. rolly intan &...
TRANSCRIPT
![Page 1: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/1.jpg)
Lecture 8 Predicate Logic
TF4233 Mathematical LogicSemester 2, 2006/2007
Dr. Rolly Intan & Cherry Ballangan, MAITInformatics Department, Petra Christian University
![Page 2: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/2.jpg)
TF4233 Math. Logic Petra Christian University 2
Content
1. Predicate Logic
2. Quantifier
3. Translation Examples
![Page 3: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/3.jpg)
TF4233 Math. Logic Petra Christian University 3
1. Predicate Logic
“x is greater than 5”
(the universe is real numbers)
Is it a proposition ??
![Page 4: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/4.jpg)
TF4233 Math. Logic Petra Christian University 4
Are these propositions?
4 is greater than 5. 8 is greater than 5. For all x, x is greater than 5. There is x such that x is greater than 5.
(the universe is real numbers)
1. Predicate Logic
![Page 5: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/5.jpg)
TF4233 Math. Logic Petra Christian University 5
Predicate logic is…
1. Predicate Logic
P(x) : “x is greater than 5”(the universe is real numbers)
Subject: xPredicate: “is greater than 5”
P(4) : “4 is greater than 5” P(8) : “8 is greater than 5” x P(x) : “For all x, x is greater 5” x P(x) : “There is x such that x is greater than 5”
![Page 6: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/6.jpg)
TF4233 Math. Logic Petra Christian University 6
2. Quantifier
Universal Quantifier
• “For all”, “For any”, “For every”
Existential Quantifier
• “There exists”, “Some”
![Page 7: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/7.jpg)
TF4233 Math. Logic Petra Christian University 7
Example
clever(x) : “x is clever”(universe: students)
x clever(x) : “All students are clever” x clever(x) : “Some students are clever” x clever(x) : “Not all students are clever” x clever(x) : “No students is clever”
2. Quantifier
![Page 8: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/8.jpg)
TF4233 Math. Logic Petra Christian University 8
Negation
x P(x) x P(x) x P(x) x P(x)
Example NOT ALL students are clever
• SOME students are NOT clever
NO students is clever• ALL students are NOT clever
2. Quantifier
![Page 9: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/9.jpg)
TF4233 Math. Logic Petra Christian University 9
For more than one variable
The order of the quantifiers is important! Example:
• Let P(x, y) : ”x + y = 0” (universal: Real)x y P(x, y)
y x P(x, y)
• Let P(x, y, z): “x + y = z” x y z P(x, y, z)
z x y P(x, y, z)
2. Quantifier
![Page 10: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/10.jpg)
TF4233 Math. Logic Petra Christian University 10
Laws 1 x ( A(x) B(x) ) (x) A(x) (x) B(x) x (A(x) B(x)) (x)A(x)(x)B(x) (x)A(x) (x)A(x) (x)A(x) (x)A(x) (x)A(x)(x)B(x) x(A(x)B(x)) (x)(A(x)B(x)) (x)A(x)(x)B(x) x(AB(x)) A(x)B(x)
2. Quantifier
![Page 11: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/11.jpg)
TF4233 Math. Logic Petra Christian University 11
Laws 2
x(AB(x)) A(x)B(x)
(x)(A(x)B) (x)(A(x)B)
(x)A(x)B (x)(A(x)B)
A(x)B(x) (x)(AB(x))
A(x)B(x) (x)(AB(x))
xP(x) P(c), for any c element univ.
P(c ) xP(x)
2. Quantifier
![Page 12: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/12.jpg)
TF4233 Math. Logic Petra Christian University 12
3. Translation Example
Translate into predicate logic: i) “All lions are fierce.” ii) ”Some lions do not drink coffee.” iii) “Some fierce creature don’t drink
coffee.”
Example 1
![Page 13: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/13.jpg)
TF4233 Math. Logic Petra Christian University 13
3. Translation Example
Example 1 Answer
![Page 14: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/14.jpg)
TF4233 Math. Logic Petra Christian University 14
3. Translation Example
Example 2
i). “All Hummingbirds are richly colored.”
ii). “No large birds live on honey.”iii). “Birds that do not live on honey are
dull in color.”iv). “Hummingbirds are small.”
![Page 15: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/15.jpg)
TF4233 Math. Logic Petra Christian University 15
3. Translation Example
Example 2 Answer
![Page 16: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/16.jpg)
TF4233 Math. Logic Petra Christian University 16
Exercises
Translate the following statements into predicate logic:
• All students in this class have studied Calculus.
• No students in this class have studied Discrete Mathematics.
If P(x) means “x + 1 > x” (the universe is real number), determine the truth value of the following statements: xP(x)
xP(x)
![Page 17: Lecture 8 Predicate Logic TF4233 Mathematical Logic Semester 2, 2006/2007 Dr. Rolly Intan & Cherry Ballangan, MAIT Informatics Department, Petra Christian](https://reader036.vdocument.in/reader036/viewer/2022083009/5697bfc91a28abf838ca9127/html5/thumbnails/17.jpg)
TF4233 Math. Logic Petra Christian University 17
Exercises
Negate the following statements: x |x| = x
x x2 = x
• All students live in dormitories
• All math majors are males
• Some students are 25 years or older
• If there is a riot then someone is killed
• It is daylight and all the people have arisen