First order logi11c
33
1 First-Order Logic Lecture 11
-
Upload
yosser-atassi -
Category
Documents
-
view
88 -
download
0
Transcript of First order logi11c
![Page 1: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/1.jpg)
1
First-Order Logic
Lecture 11
![Page 2: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/2.jpg)
2
![Page 3: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/3.jpg)
3
![Page 4: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/4.jpg)
4
![Page 5: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/5.jpg)
5
Examples
• “One plus two equals three”– Objects: one, two, three– Relation equals– Function: plus
• “Squares neighboring wumpus are smelly”– Objects: wumpus, Squares– Property: smelly– Relation: neighboring
![Page 6: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/6.jpg)
6
![Page 7: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/7.jpg)
7
![Page 8: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/8.jpg)
8
![Page 9: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/9.jpg)
9
![Page 10: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/10.jpg)
10
![Page 11: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/11.jpg)
11
![Page 12: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/12.jpg)
12
![Page 13: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/13.jpg)
13
![Page 14: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/14.jpg)
14
![Page 15: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/15.jpg)
15
![Page 16: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/16.jpg)
16
![Page 17: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/17.jpg)
17
![Page 18: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/18.jpg)
18
![Page 19: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/19.jpg)
19
![Page 20: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/20.jpg)
20
![Page 21: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/21.jpg)
21
![Page 22: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/22.jpg)
22
![Page 23: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/23.jpg)
23
![Page 24: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/24.jpg)
24
![Page 25: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/25.jpg)
25
![Page 26: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/26.jpg)
26
![Page 27: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/27.jpg)
27
![Page 28: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/28.jpg)
28
![Page 29: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/29.jpg)
29
![Page 30: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/30.jpg)
30
![Page 31: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/31.jpg)
31
![Page 32: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/32.jpg)
32
![Page 33: First order logi11c](https://reader035.fdocuments.us/reader035/viewer/2022062320/55cd4307bb61eb21038b4577/html5/thumbnails/33.jpg)
33