Pure Predicate Calculus = ;Toward Quantification

Rensselaer AI & Reasoning (RAIR) LabDepartment of Cognitive ScienceDepartment of Computer Science

Lally School of Management & TechnologyRensselaer Polytechnic Institute (RPI)

Troy, New York 12180 USA

Intro to Logic2/13/2020

Selmer Bringsjord

L0<latexit sha1_base64="ZzzqEU1zzAoS0Qg7kRgCtjDm2Mw=">AAACCnicbVDLSsNAFL2pr1pfVZduBovgqiQi6LLoxoWLCvYBbSiT6aQdOpmkMxOhhPyBe7f6C+7ErT/hH/gZTtIsbOuBgcM593DvHC/iTGnb/rZKa+sbm1vl7crO7t7+QfXwqK3CWBLaIiEPZdfDinImaEszzWk3khQHHqcdb3Kb+Z0nKhULxaOeRdQN8EgwnxGsjeT2A6zHisjkPh3Yg2rNrts50CpxClKDAs1B9ac/DEkcUKEJx0r1HDvSboKlZoTTtNKPFY0wmeAR7RkqcECVm+RHp+jMKEPkh9I8oVGu/k0kOFBqFnhmMj9ywcsUqXyVLicy479EL9b+tZswEcWaCjJf78cc6RBlvaAhk5RoPjMEE8nMDxAZY4mJNu1VTDXOchGrpH1Rd+y683BZa9wUJZXhBE7hHBy4ggbcQRNaQGAKL/AKb9az9W59WJ/z0ZJVZI5hAdbXLwAFm4A=</latexit><latexit sha1_base64="ZzzqEU1zzAoS0Qg7kRgCtjDm2Mw=">AAACCnicbVDLSsNAFL2pr1pfVZduBovgqiQi6LLoxoWLCvYBbSiT6aQdOpmkMxOhhPyBe7f6C+7ErT/hH/gZTtIsbOuBgcM593DvHC/iTGnb/rZKa+sbm1vl7crO7t7+QfXwqK3CWBLaIiEPZdfDinImaEszzWk3khQHHqcdb3Kb+Z0nKhULxaOeRdQN8EgwnxGsjeT2A6zHisjkPh3Yg2rNrts50CpxClKDAs1B9ac/DEkcUKEJx0r1HDvSboKlZoTTtNKPFY0wmeAR7RkqcECVm+RHp+jMKEPkh9I8oVGu/k0kOFBqFnhmMj9ywcsUqXyVLicy479EL9b+tZswEcWaCjJf78cc6RBlvaAhk5RoPjMEE8nMDxAZY4mJNu1VTDXOchGrpH1Rd+y683BZa9wUJZXhBE7hHBy4ggbcQRNaQGAKL/AKb9az9W59WJ/z0ZJVZI5hAdbXLwAFm4A=</latexit><latexit sha1_base64="ZzzqEU1zzAoS0Qg7kRgCtjDm2Mw=">AAACCnicbVDLSsNAFL2pr1pfVZduBovgqiQi6LLoxoWLCvYBbSiT6aQdOpmkMxOhhPyBe7f6C+7ErT/hH/gZTtIsbOuBgcM593DvHC/iTGnb/rZKa+sbm1vl7crO7t7+QfXwqK3CWBLaIiEPZdfDinImaEszzWk3khQHHqcdb3Kb+Z0nKhULxaOeRdQN8EgwnxGsjeT2A6zHisjkPh3Yg2rNrts50CpxClKDAs1B9ac/DEkcUKEJx0r1HDvSboKlZoTTtNKPFY0wmeAR7RkqcECVm+RHp+jMKEPkh9I8oVGu/k0kOFBqFnhmMj9ywcsUqXyVLicy479EL9b+tZswEcWaCjJf78cc6RBlvaAhk5RoPjMEE8nMDxAZY4mJNu1VTDXOchGrpH1Rd+y683BZa9wUJZXhBE7hHBy4ggbcQRNaQGAKL/AKb9az9W59WJ/z0ZJVZI5hAdbXLwAFm4A=</latexit><latexit sha1_base64="ZzzqEU1zzAoS0Qg7kRgCtjDm2Mw=">AAACCnicbVDLSsNAFL2pr1pfVZduBovgqiQi6LLoxoWLCvYBbSiT6aQdOpmkMxOhhPyBe7f6C+7ErT/hH/gZTtIsbOuBgcM593DvHC/iTGnb/rZKa+sbm1vl7crO7t7+QfXwqK3CWBLaIiEPZdfDinImaEszzWk3khQHHqcdb3Kb+Z0nKhULxaOeRdQN8EgwnxGsjeT2A6zHisjkPh3Yg2rNrts50CpxClKDAs1B9ac/DEkcUKEJx0r1HDvSboKlZoTTtNKPFY0wmeAR7RkqcECVm+RHp+jMKEPkh9I8oVGu/k0kOFBqFnhmMj9ywcsUqXyVLicy479EL9b+tZswEcWaCjJf78cc6RBlvaAhk5RoPjMEE8nMDxAZY4mJNu1VTDXOchGrpH1Rd+y683BZa9wUJZXhBE7hHBy4ggbcQRNaQGAKL/AKb9az9W59WJ/z0ZJVZI5hAdbXLwAFm4A=</latexit>

Logistics …

Logistics …

Change: As of now, & for the remainder of the semester, in-class attendance not required. Remember as well that tests are “take-home.” We will still continue to use in-class pop problems to for learning purposes.

Pop Problem #1

Pop Problem #1

A pop problem should have appeared for you @ ~ 12n today. Please solve.

What is Logic?• The key to becoming rational.

• “The science of reasoning.” — so the not-unreasonable slogan goes.

• The only invincible subject there is.

• The basis for the formal sciences (from mathematics to game theory to decision theory to probability calculi to axiomatic physics ….) — and hence the basis for disciplines based on the formal sciences (e.g., engineering, computer science).

• The way of escape from shallow content and context to pure, immaterial, and immortal form and structure (which is why the exotic, imaginary, and seemingly non-sensical is so pedagogically useful).

• The most challenging subject there is.

• One of the chief differentiators between dogs and monkeys versus you (let alone bears and you); and mindless machines (like Deep Blue & Watson) versus you.

• A key to riches.

• The key to divining the meaning of life (and other such big questions).

• The better way to program computers; and fundamentally the only way to reliably program computers.

• One of two fundamental approaches to studying minds, and replicating/simulating minds in machines…

• The thing many creatures of fiction have mastered — have you (as a New Yorker)?…

What is Logic?• The key to becoming rational.

• “The science of reasoning.” — so the not-unreasonable slogan goes.

• The only invincible subject there is.

• The basis for the formal sciences (from mathematics to game theory to decision theory to probability calculi to axiomatic physics ….) — and hence the basis for disciplines based on the formal sciences (e.g., engineering, computer science).

• The way of escape from shallow content and context to pure, immaterial, and immortal form and structure (which is why the exotic, imaginary, and seemingly non-sensical is so pedagogically useful).

• The most challenging subject there is.

• One of the chief differentiators between dogs and monkeys versus you (let alone bears and you); and mindless machines (like Deep Blue & Watson) versus you.

• A key to riches.

• The key to divining the meaning of life (and other such big questions).

• The better way to program computers; and fundamentally the only way to reliably program computers.

• One of two fundamental approaches to studying minds, and replicating/simulating minds in machines…

• The thing many creatures of fiction have mastered — have you (as a New Yorker)?…

(https://www.newscientist.com/article/2075151-watch-brainy-zoo-animals-figure-out-a-box-puzzle-to-get-at-food/)

https://animalstudiesrepository.org/animsent/vol3/iss23/1/

The Canyon of Discontinuity (or Darwin’s Dread)

The Canyon of Discontinuity (or Darwin’s Dread)

The Canyon of Discontinuity (or Darwin’s Dread)

The Canyon of Discontinuity (or Darwin’s Dread)

Relations and Functions (abstract)!

The Canyon of Discontinuity (or Darwin’s Dread)

Quantification!

Relations and Functions (abstract)!

The Canyon of Discontinuity (or Darwin’s Dread)

Quantification!

Recursion!

Relations and Functions (abstract)!

The Canyon of Discontinuity (or Darwin’s Dread)

Quantification!

Recursion!

Relations and Functions (abstract)!

Infinitary reasoning!

The Canyon of Discontinuity (or Darwin’s Dread)

Quantification!

Recursion!

Relations and Functions (abstract)!

(Thinking ahead to our next topic (quantification), Interesting paper:http://idiom.ucsd.edu/~ivano/SemBabble_old/LogicSeminar_15W/Material/Partee_2013_History-of-Quantifiers.pdf.)

Infinitary reasoning!

The Canyon of Discontinuity (or Darwin’s Dread)

Quantification!

Recursion!Relations and Functions (abstract)!

(Thinking ahead to our next topic (quantification), Interesting paper:http://idiom.ucsd.edu/~ivano/SemBabble_old/LogicSeminar_15W/Material/Partee_2013_History-of-Quantifiers.pdf.)

Infinitary reasoning!

The Canyon of Discontinuity (or Darwin’s Dread)

Quantification!

Recursion!Relations and Functions (abstract)!

(Thinking ahead to our next topic (quantification), Interesting paper:http://idiom.ucsd.edu/~ivano/SemBabble_old/LogicSeminar_15W/Material/Partee_2013_History-of-Quantifiers.pdf.)

Infinitary reasoning!

Karkooking Problem …

Everyone karkooks anyone who karkooks someone.

Alvin karkooks Bill.

Can you infer that everyone karkooks Bill?

ANSWER:

JUSTIFICATION:

Karkooking Problem …

Everyone karkooks anyone who karkooks someone.

Alvin karkooks Bill.

Can you infer that everyone karkooks Bill?

ANSWER:

JUSTIFICATION:

Quantification!

Recursion!

Relations and Functions!

Infinitary Reasoning!

Does everyone karkook Bill?

Does everyone karkook Bill?

Yup! Want me to prove it?

?

?

? Does everyone karkook Bill?

Yup! Want me to prove it?

Discontinuity, briefly …

Karkooking Problem …

Everyone karkooks anyone who karkooks someone.

Alvin karkooks Bill.

Can you infer that everyone karkooks Bill?

ANSWER:

JUSTIFICATION:

Quantification!

Recursion!

Relations and Functions!

Karkooking Problem …

Everyone karkooks anyone who karkooks someone.

Alvin karkooks Bill.

Can you infer that everyone karkooks Bill?

ANSWER:

JUSTIFICATION:

Quantification!

Recursion!

Relations and Functions!

Karkooking Problem …

Everyone karkooks anyone who karkooks someone.

Alvin karkooks Bill.

Can you infer that everyone karkooks Bill?

ANSWER:

JUSTIFICATION:

Quantification!

Recursion!

Relations and Functions!

The Universe of Logics

Infinitary Finitary

Intensional ExtensionalDeductive InductiveDeductive Inductive

Symbolic Diagram Symbolic Diagram Symbolic Diagram Symbolic Diagram

L!1!<latexit sha1_base64="6QTBLq7Snn0MqwYuB9YLScIUffM=">AAACHHicbVBNS8MwGE7n15xfVY8iBIfgabQi6HHoxYOHCe4D1lHSLN3CkqYkqTBKT/4P7171L3gTr4L/wJ9h2vXgNh8IPDzP+5UniBlV2nG+rcrK6tr6RnWztrW9s7tn7x90lEgkJm0smJC9ACnCaETammpGerEkiAeMdIPJTe53H4lUVEQPehqTAUejiIYUI20k3z72ONJjhWV6l/mpJzgZId+FM5L5dt1pOAXgMnFLUgclWr794w0FTjiJNGZIqb7rxHqQIqkpZiSreYkiMcITNCJ9QyPEiRqkxTcyeGqUIQyFNC/SsFD/dqSIKzXlgaksjl70cvE/r5/o8GqQ0ihONInwbFGYMKgFzDOBQyoJ1mxqCMKSmlshHiOJsDbJzW3JZ0sVqqxmonEXg1gmnfOG6zTc+4t687oMqQqOwAk4Ay64BE1wC1qgDTB4Ai/gFbxZz9a79WF9zkorVtlzCOZgff0CLDWikw==</latexit><latexit sha1_base64="6QTBLq7Snn0MqwYuB9YLScIUffM=">AAACHHicbVBNS8MwGE7n15xfVY8iBIfgabQi6HHoxYOHCe4D1lHSLN3CkqYkqTBKT/4P7171L3gTr4L/wJ9h2vXgNh8IPDzP+5UniBlV2nG+rcrK6tr6RnWztrW9s7tn7x90lEgkJm0smJC9ACnCaETammpGerEkiAeMdIPJTe53H4lUVEQPehqTAUejiIYUI20k3z72ONJjhWV6l/mpJzgZId+FM5L5dt1pOAXgMnFLUgclWr794w0FTjiJNGZIqb7rxHqQIqkpZiSreYkiMcITNCJ9QyPEiRqkxTcyeGqUIQyFNC/SsFD/dqSIKzXlgaksjl70cvE/r5/o8GqQ0ihONInwbFGYMKgFzDOBQyoJ1mxqCMKSmlshHiOJsDbJzW3JZ0sVqqxmonEXg1gmnfOG6zTc+4t687oMqQqOwAk4Ay64BE1wC1qgDTB4Ai/gFbxZz9a79WF9zkorVtlzCOZgff0CLDWikw==</latexit><latexit sha1_base64="6QTBLq7Snn0MqwYuB9YLScIUffM=">AAACHHicbVBNS8MwGE7n15xfVY8iBIfgabQi6HHoxYOHCe4D1lHSLN3CkqYkqTBKT/4P7171L3gTr4L/wJ9h2vXgNh8IPDzP+5UniBlV2nG+rcrK6tr6RnWztrW9s7tn7x90lEgkJm0smJC9ACnCaETammpGerEkiAeMdIPJTe53H4lUVEQPehqTAUejiIYUI20k3z72ONJjhWV6l/mpJzgZId+FM5L5dt1pOAXgMnFLUgclWr794w0FTjiJNGZIqb7rxHqQIqkpZiSreYkiMcITNCJ9QyPEiRqkxTcyeGqUIQyFNC/SsFD/dqSIKzXlgaksjl70cvE/r5/o8GqQ0ihONInwbFGYMKgFzDOBQyoJ1mxqCMKSmlshHiOJsDbJzW3JZ0sVqqxmonEXg1gmnfOG6zTc+4t687oMqQqOwAk4Ay64BE1wC1qgDTB4Ai/gFbxZz9a79WF9zkorVtlzCOZgff0CLDWikw==</latexit><latexit sha1_base64="6QTBLq7Snn0MqwYuB9YLScIUffM=">AAACHHicbVBNS8MwGE7n15xfVY8iBIfgabQi6HHoxYOHCe4D1lHSLN3CkqYkqTBKT/4P7171L3gTr4L/wJ9h2vXgNh8IPDzP+5UniBlV2nG+rcrK6tr6RnWztrW9s7tn7x90lEgkJm0smJC9ACnCaETammpGerEkiAeMdIPJTe53H4lUVEQPehqTAUejiIYUI20k3z72ONJjhWV6l/mpJzgZId+FM5L5dt1pOAXgMnFLUgclWr794w0FTjiJNGZIqb7rxHqQIqkpZiSreYkiMcITNCJ9QyPEiRqkxTcyeGqUIQyFNC/SsFD/dqSIKzXlgaksjl70cvE/r5/o8GqQ0ihONInwbFGYMKgFzDOBQyoJ1mxqCMKSmlshHiOJsDbJzW3JZ0sVqqxmonEXg1gmnfOG6zTc+4t687oMqQqOwAk4Ay64BE1wC1qgDTB4Ai/gFbxZz9a79WF9zkorVtlzCOZgff0CLDWikw==</latexit>

L1 = first-order logic<latexit sha1_base64="45ddNPsZu/fZxPjqZFRqcoCgy/Q=">AAACJ3icbVDLSsNAFJ34rPUVdelmsAjdWBIRdCMU3bhwUcE+oAlhMp20QyeZMDMRS8gv+B/u3eovuBNduvMznKRZ2NYDA4dz7muOHzMqlWV9GUvLK6tr65WN6ubW9s6uubffkTwRmLQxZ1z0fCQJoxFpK6oY6cWCoNBnpOuPr3O/+0CEpDy6V5OYuCEaRjSgGCkteWbdCZEaSSzS28yz4SV0Qp8/pgEVUp1wMSACMj6kOPPMmtWwCsBFYpekBkq0PPPHGXCchCRSmCEp+7YVKzdFQlHMSFZ1EklihMdoSPqaRigk0k2LH2XwWCsDGHChX6Rgof7tSFEo5ST0dWVx/7yXi/95/UQFF25KozhRJMLTRUHCoOIwjwcOqCBYsYkmCAuqb4V4hATCSoc4syWfLWQgs6qOxp4PYpF0Thu21bDvzmrNqzKkCjgER6AObHAOmuAGtEAbYPAEXsAreDOejXfjw/icli4ZZc8BmIHx/QuIhqbm</latexit><latexit sha1_base64="45ddNPsZu/fZxPjqZFRqcoCgy/Q=">AAACJ3icbVDLSsNAFJ34rPUVdelmsAjdWBIRdCMU3bhwUcE+oAlhMp20QyeZMDMRS8gv+B/u3eovuBNduvMznKRZ2NYDA4dz7muOHzMqlWV9GUvLK6tr65WN6ubW9s6uubffkTwRmLQxZ1z0fCQJoxFpK6oY6cWCoNBnpOuPr3O/+0CEpDy6V5OYuCEaRjSgGCkteWbdCZEaSSzS28yz4SV0Qp8/pgEVUp1wMSACMj6kOPPMmtWwCsBFYpekBkq0PPPHGXCchCRSmCEp+7YVKzdFQlHMSFZ1EklihMdoSPqaRigk0k2LH2XwWCsDGHChX6Rgof7tSFEo5ST0dWVx/7yXi/95/UQFF25KozhRJMLTRUHCoOIwjwcOqCBYsYkmCAuqb4V4hATCSoc4syWfLWQgs6qOxp4PYpF0Thu21bDvzmrNqzKkCjgER6AObHAOmuAGtEAbYPAEXsAreDOejXfjw/icli4ZZc8BmIHx/QuIhqbm</latexit><latexit sha1_base64="45ddNPsZu/fZxPjqZFRqcoCgy/Q=">AAACJ3icbVDLSsNAFJ34rPUVdelmsAjdWBIRdCMU3bhwUcE+oAlhMp20QyeZMDMRS8gv+B/u3eovuBNduvMznKRZ2NYDA4dz7muOHzMqlWV9GUvLK6tr65WN6ubW9s6uubffkTwRmLQxZ1z0fCQJoxFpK6oY6cWCoNBnpOuPr3O/+0CEpDy6V5OYuCEaRjSgGCkteWbdCZEaSSzS28yz4SV0Qp8/pgEVUp1wMSACMj6kOPPMmtWwCsBFYpekBkq0PPPHGXCchCRSmCEp+7YVKzdFQlHMSFZ1EklihMdoSPqaRigk0k2LH2XwWCsDGHChX6Rgof7tSFEo5ST0dWVx/7yXi/95/UQFF25KozhRJMLTRUHCoOIwjwcOqCBYsYkmCAuqb4V4hATCSoc4syWfLWQgs6qOxp4PYpF0Thu21bDvzmrNqzKkCjgER6AObHAOmuAGtEAbYPAEXsAreDOejXfjw/icli4ZZc8BmIHx/QuIhqbm</latexit><latexit sha1_base64="45ddNPsZu/fZxPjqZFRqcoCgy/Q=">AAACJ3icbVDLSsNAFJ34rPUVdelmsAjdWBIRdCMU3bhwUcE+oAlhMp20QyeZMDMRS8gv+B/u3eovuBNduvMznKRZ2NYDA4dz7muOHzMqlWV9GUvLK6tr65WN6ubW9s6uubffkTwRmLQxZ1z0fCQJoxFpK6oY6cWCoNBnpOuPr3O/+0CEpDy6V5OYuCEaRjSgGCkteWbdCZEaSSzS28yz4SV0Qp8/pgEVUp1wMSACMj6kOPPMmtWwCsBFYpekBkq0PPPHGXCchCRSmCEp+7YVKzdFQlHMSFZ1EklihMdoSPqaRigk0k2LH2XwWCsDGHChX6Rgof7tSFEo5ST0dWVx/7yXi/95/UQFF25KozhRJMLTRUHCoOIwjwcOqCBYsYkmCAuqb4V4hATCSoc4syWfLWQgs6qOxp4PYpF0Thu21bDvzmrNqzKkCjgER6AObHAOmuAGtEAbYPAEXsAreDOejXfjw/icli4ZZc8BmIHx/QuIhqbm</latexit>

L0 = zeroth-order logic<latexit sha1_base64="rae+VGvksk3nCsYockaB25wnhnQ=">AAACKHicbVDLSsNAFJ3UV62vqks3g0XQhSURQTdC0Y0LFxXsA9pSJtObdugkE2YmYg35Bv/DvVv9BXfSrSs/w0mbhW09MHA45z7mHjfkTGnbHlu5peWV1bX8emFjc2t7p7i7V1cikhRqVHAhmy5RwFkANc00h2Yogfguh4Y7vEn9xiNIxUTwoEchdHzSD5jHKNFG6hZP2j7RA0VlfJd0bXyF274rnuJnkEIPToXsgcRc9BlNusWSXbYnwIvEyUgJZah2iz/tnqCRD4GmnCjVcuxQd2IiNaMckkI7UhASOiR9aBkaEB9UJ56clOAjo/SwJ6R5gcYT9W9HTHylRr5rKicHzHup+J/XirR32YlZEEYaAjpd5EUca4HTfHCPSaCajwwhVDLzV0wHRBKqTYozW9LZUnkqKZhonPkgFkn9rOzYZef+vFS5zkLKowN0iI6Rgy5QBd2iKqohil7QG3pHH9ar9Wl9WeNpac7KevbRDKzvX3aSp2M=</latexit><latexit sha1_base64="rae+VGvksk3nCsYockaB25wnhnQ=">AAACKHicbVDLSsNAFJ3UV62vqks3g0XQhSURQTdC0Y0LFxXsA9pSJtObdugkE2YmYg35Bv/DvVv9BXfSrSs/w0mbhW09MHA45z7mHjfkTGnbHlu5peWV1bX8emFjc2t7p7i7V1cikhRqVHAhmy5RwFkANc00h2Yogfguh4Y7vEn9xiNIxUTwoEchdHzSD5jHKNFG6hZP2j7RA0VlfJd0bXyF274rnuJnkEIPToXsgcRc9BlNusWSXbYnwIvEyUgJZah2iz/tnqCRD4GmnCjVcuxQd2IiNaMckkI7UhASOiR9aBkaEB9UJ56clOAjo/SwJ6R5gcYT9W9HTHylRr5rKicHzHup+J/XirR32YlZEEYaAjpd5EUca4HTfHCPSaCajwwhVDLzV0wHRBKqTYozW9LZUnkqKZhonPkgFkn9rOzYZef+vFS5zkLKowN0iI6Rgy5QBd2iKqohil7QG3pHH9ar9Wl9WeNpac7KevbRDKzvX3aSp2M=</latexit><latexit sha1_base64="rae+VGvksk3nCsYockaB25wnhnQ=">AAACKHicbVDLSsNAFJ3UV62vqks3g0XQhSURQTdC0Y0LFxXsA9pSJtObdugkE2YmYg35Bv/DvVv9BXfSrSs/w0mbhW09MHA45z7mHjfkTGnbHlu5peWV1bX8emFjc2t7p7i7V1cikhRqVHAhmy5RwFkANc00h2Yogfguh4Y7vEn9xiNIxUTwoEchdHzSD5jHKNFG6hZP2j7RA0VlfJd0bXyF274rnuJnkEIPToXsgcRc9BlNusWSXbYnwIvEyUgJZah2iz/tnqCRD4GmnCjVcuxQd2IiNaMckkI7UhASOiR9aBkaEB9UJ56clOAjo/SwJ6R5gcYT9W9HTHylRr5rKicHzHup+J/XirR32YlZEEYaAjpd5EUca4HTfHCPSaCajwwhVDLzV0wHRBKqTYozW9LZUnkqKZhonPkgFkn9rOzYZef+vFS5zkLKowN0iI6Rgy5QBd2iKqohil7QG3pHH9ar9Wl9WeNpac7KevbRDKzvX3aSp2M=</latexit><latexit sha1_base64="rae+VGvksk3nCsYockaB25wnhnQ=">AAACKHicbVDLSsNAFJ3UV62vqks3g0XQhSURQTdC0Y0LFxXsA9pSJtObdugkE2YmYg35Bv/DvVv9BXfSrSs/w0mbhW09MHA45z7mHjfkTGnbHlu5peWV1bX8emFjc2t7p7i7V1cikhRqVHAhmy5RwFkANc00h2Yogfguh4Y7vEn9xiNIxUTwoEchdHzSD5jHKNFG6hZP2j7RA0VlfJd0bXyF274rnuJnkEIPToXsgcRc9BlNusWSXbYnwIvEyUgJZah2iz/tnqCRD4GmnCjVcuxQd2IiNaMckkI7UhASOiR9aBkaEB9UJ56clOAjo/SwJ6R5gcYT9W9HTHylRr5rKicHzHup+J/XirR32YlZEEYaAjpd5EUca4HTfHCPSaCajwwhVDLzV0wHRBKqTYozW9LZUnkqKZhonPkgFkn9rOzYZef+vFS5zkLKowN0iI6Rgy5QBd2iKqohil7QG3pHH9ar9Wl9WeNpac7KevbRDKzvX3aSp2M=</latexit>

LPropCalc = propositional calculus<latexit sha1_base64="DE1nAlInoZB4QbARKY9i/o//6a4=">AAACPnicbVC7SgNBFJ31bXxFLW0Gg2AVdkXQRhRtLCwimAdkQ5i9mdXB2Z1l5q4kLPs5/oe9rRb+gNiIraWzMYVJPDBwOOeeudwTJFIYdN03Z2Z2bn5hcWm5tLK6tr5R3txqGJVq4HVQUulWwAyXIuZ1FCh5K9GcRYHkzeD+ovCbD1wboeIbHCS8E7HbWIQCGFqpWz71I4Z3BnR2lXczH3kfDWQ1rZILJiHP6Qn1o0D1s8RKyogixSQFa6YyNXm3XHGr7hB0mngjUiEj1LrlD7+nII14jCCZMW3PTbCTMY0CJM9Lfmp4wuCe3fK2pTGLuOlkw0NzumeVHg2Vti9GOlT/JjIWGTOIAjs5PGvSK8T/vHaK4XEnE3GSIo/hd1GYSoqKFq3RntAcUA4sYaBtC0DhjmkGaLsd21L8rU1o8pKtxpssYpo0DqqeW/WuDytn56OSlsgO2SX7xCNH5IxckhqpEyCP5Jm8kFfnyXl3Pp2v39EZZ5TZJmNwvn8AOVuyBg==</latexit><latexit sha1_base64="DE1nAlInoZB4QbARKY9i/o//6a4=">AAACPnicbVC7SgNBFJ31bXxFLW0Gg2AVdkXQRhRtLCwimAdkQ5i9mdXB2Z1l5q4kLPs5/oe9rRb+gNiIraWzMYVJPDBwOOeeudwTJFIYdN03Z2Z2bn5hcWm5tLK6tr5R3txqGJVq4HVQUulWwAyXIuZ1FCh5K9GcRYHkzeD+ovCbD1wboeIbHCS8E7HbWIQCGFqpWz71I4Z3BnR2lXczH3kfDWQ1rZILJiHP6Qn1o0D1s8RKyogixSQFa6YyNXm3XHGr7hB0mngjUiEj1LrlD7+nII14jCCZMW3PTbCTMY0CJM9Lfmp4wuCe3fK2pTGLuOlkw0NzumeVHg2Vti9GOlT/JjIWGTOIAjs5PGvSK8T/vHaK4XEnE3GSIo/hd1GYSoqKFq3RntAcUA4sYaBtC0DhjmkGaLsd21L8rU1o8pKtxpssYpo0DqqeW/WuDytn56OSlsgO2SX7xCNH5IxckhqpEyCP5Jm8kFfnyXl3Pp2v39EZZ5TZJmNwvn8AOVuyBg==</latexit><latexit sha1_base64="DE1nAlInoZB4QbARKY9i/o//6a4=">AAACPnicbVC7SgNBFJ31bXxFLW0Gg2AVdkXQRhRtLCwimAdkQ5i9mdXB2Z1l5q4kLPs5/oe9rRb+gNiIraWzMYVJPDBwOOeeudwTJFIYdN03Z2Z2bn5hcWm5tLK6tr5R3txqGJVq4HVQUulWwAyXIuZ1FCh5K9GcRYHkzeD+ovCbD1wboeIbHCS8E7HbWIQCGFqpWz71I4Z3BnR2lXczH3kfDWQ1rZILJiHP6Qn1o0D1s8RKyogixSQFa6YyNXm3XHGr7hB0mngjUiEj1LrlD7+nII14jCCZMW3PTbCTMY0CJM9Lfmp4wuCe3fK2pTGLuOlkw0NzumeVHg2Vti9GOlT/JjIWGTOIAjs5PGvSK8T/vHaK4XEnE3GSIo/hd1GYSoqKFq3RntAcUA4sYaBtC0DhjmkGaLsd21L8rU1o8pKtxpssYpo0DqqeW/WuDytn56OSlsgO2SX7xCNH5IxckhqpEyCP5Jm8kFfnyXl3Pp2v39EZZ5TZJmNwvn8AOVuyBg==</latexit><latexit sha1_base64="DE1nAlInoZB4QbARKY9i/o//6a4=">AAACPnicbVC7SgNBFJ31bXxFLW0Gg2AVdkXQRhRtLCwimAdkQ5i9mdXB2Z1l5q4kLPs5/oe9rRb+gNiIraWzMYVJPDBwOOeeudwTJFIYdN03Z2Z2bn5hcWm5tLK6tr5R3txqGJVq4HVQUulWwAyXIuZ1FCh5K9GcRYHkzeD+ovCbD1wboeIbHCS8E7HbWIQCGFqpWz71I4Z3BnR2lXczH3kfDWQ1rZILJiHP6Qn1o0D1s8RKyogixSQFa6YyNXm3XHGr7hB0mngjUiEj1LrlD7+nII14jCCZMW3PTbCTMY0CJM9Lfmp4wuCe3fK2pTGLuOlkw0NzumeVHg2Vti9GOlT/JjIWGTOIAjs5PGvSK8T/vHaK4XEnE3GSIo/hd1GYSoqKFq3RntAcUA4sYaBtC0DhjmkGaLsd21L8rU1o8pKtxpssYpo0DqqeW/WuDytn56OSlsgO2SX7xCNH5IxckhqpEyCP5Jm8kFfnyXl3Pp2v39EZZ5TZJmNwvn8AOVuyBg==</latexit>

DCEC⇤<latexit sha1_base64="jH7bxOPxNLvK9MqLWOo6fnj1hGk=">AAACEnicbVDLSsNAFJ3UV62vaJduBovgqiQi6LJYBZcV7AOaWG6mk3bo5MHMRCghf+Herf6CO3HrD/gHfoaTNgvbemDgcM69cw/HizmTyrK+jdLa+sbmVnm7srO7t39gHh51ZJQIQtsk4pHoeSApZyFtK6Y47cWCQuBx2vUmzdzvPlEhWRQ+qGlM3QBGIfMZAaWlgVl1AlBjAjy9ad42s0cHpBqYNatuzYBXiV2QGirQGpg/zjAiSUBDRThI2betWLkpCMUIp1nFSSSNgUxgRPuahhBQ6aaz8Bk+1coQ+5HQL1R4pv7dSCGQchp4ejKPKpe9XPzP6yfKv3JTFsaJoiGZH/ITjlWE8ybwkAlKFJ9qAkQwnRWTMQggSve1cCX/W0hfZhVdjb1cxCrpnNdtq27fX9Qa10VJZXSMTtAZstElaqA71EJtRNAUvaBX9GY8G+/Gh/E5Hy0ZxU4VLcD4+gWz5p4L</latexit><latexit sha1_base64="jH7bxOPxNLvK9MqLWOo6fnj1hGk=">AAACEnicbVDLSsNAFJ3UV62vaJduBovgqiQi6LJYBZcV7AOaWG6mk3bo5MHMRCghf+Herf6CO3HrD/gHfoaTNgvbemDgcM69cw/HizmTyrK+jdLa+sbmVnm7srO7t39gHh51ZJQIQtsk4pHoeSApZyFtK6Y47cWCQuBx2vUmzdzvPlEhWRQ+qGlM3QBGIfMZAaWlgVl1AlBjAjy9ad42s0cHpBqYNatuzYBXiV2QGirQGpg/zjAiSUBDRThI2betWLkpCMUIp1nFSSSNgUxgRPuahhBQ6aaz8Bk+1coQ+5HQL1R4pv7dSCGQchp4ejKPKpe9XPzP6yfKv3JTFsaJoiGZH/ITjlWE8ybwkAlKFJ9qAkQwnRWTMQggSve1cCX/W0hfZhVdjb1cxCrpnNdtq27fX9Qa10VJZXSMTtAZstElaqA71EJtRNAUvaBX9GY8G+/Gh/E5Hy0ZxU4VLcD4+gWz5p4L</latexit><latexit sha1_base64="jH7bxOPxNLvK9MqLWOo6fnj1hGk=">AAACEnicbVDLSsNAFJ3UV62vaJduBovgqiQi6LJYBZcV7AOaWG6mk3bo5MHMRCghf+Herf6CO3HrD/gHfoaTNgvbemDgcM69cw/HizmTyrK+jdLa+sbmVnm7srO7t39gHh51ZJQIQtsk4pHoeSApZyFtK6Y47cWCQuBx2vUmzdzvPlEhWRQ+qGlM3QBGIfMZAaWlgVl1AlBjAjy9ad42s0cHpBqYNatuzYBXiV2QGirQGpg/zjAiSUBDRThI2betWLkpCMUIp1nFSSSNgUxgRPuahhBQ6aaz8Bk+1coQ+5HQL1R4pv7dSCGQchp4ejKPKpe9XPzP6yfKv3JTFsaJoiGZH/ITjlWE8ybwkAlKFJ9qAkQwnRWTMQggSve1cCX/W0hfZhVdjb1cxCrpnNdtq27fX9Qa10VJZXSMTtAZstElaqA71EJtRNAUvaBX9GY8G+/Gh/E5Hy0ZxU4VLcD4+gWz5p4L</latexit><latexit sha1_base64="jH7bxOPxNLvK9MqLWOo6fnj1hGk=">AAACEnicbVDLSsNAFJ3UV62vaJduBovgqiQi6LJYBZcV7AOaWG6mk3bo5MHMRCghf+Herf6CO3HrD/gHfoaTNgvbemDgcM69cw/HizmTyrK+jdLa+sbmVnm7srO7t39gHh51ZJQIQtsk4pHoeSApZyFtK6Y47cWCQuBx2vUmzdzvPlEhWRQ+qGlM3QBGIfMZAaWlgVl1AlBjAjy9ad42s0cHpBqYNatuzYBXiV2QGirQGpg/zjAiSUBDRThI2betWLkpCMUIp1nFSSSNgUxgRPuahhBQ6aaz8Bk+1coQ+5HQL1R4pv7dSCGQchp4ejKPKpe9XPzP6yfKv3JTFsaJoiGZH/ITjlWE8ybwkAlKFJ9qAkQwnRWTMQggSve1cCX/W0hfZhVdjb1cxCrpnNdtq27fX9Qa10VJZXSMTtAZstElaqA71EJtRNAUvaBX9GY8G+/Gh/E5Hy0ZxU4VLcD4+gWz5p4L</latexit>

The Universe of Logics

Infinitary Finitary

Intensional ExtensionalDeductive InductiveDeductive Inductive

Symbolic Diagram Symbolic Diagram Symbolic Diagram Symbolic Diagram

L!1!<latexit sha1_base64="6QTBLq7Snn0MqwYuB9YLScIUffM=">AAACHHicbVBNS8MwGE7n15xfVY8iBIfgabQi6HHoxYOHCe4D1lHSLN3CkqYkqTBKT/4P7171L3gTr4L/wJ9h2vXgNh8IPDzP+5UniBlV2nG+rcrK6tr6RnWztrW9s7tn7x90lEgkJm0smJC9ACnCaETammpGerEkiAeMdIPJTe53H4lUVEQPehqTAUejiIYUI20k3z72ONJjhWV6l/mpJzgZId+FM5L5dt1pOAXgMnFLUgclWr794w0FTjiJNGZIqb7rxHqQIqkpZiSreYkiMcITNCJ9QyPEiRqkxTcyeGqUIQyFNC/SsFD/dqSIKzXlgaksjl70cvE/r5/o8GqQ0ihONInwbFGYMKgFzDOBQyoJ1mxqCMKSmlshHiOJsDbJzW3JZ0sVqqxmonEXg1gmnfOG6zTc+4t687oMqQqOwAk4Ay64BE1wC1qgDTB4Ai/gFbxZz9a79WF9zkorVtlzCOZgff0CLDWikw==</latexit><latexit sha1_base64="6QTBLq7Snn0MqwYuB9YLScIUffM=">AAACHHicbVBNS8MwGE7n15xfVY8iBIfgabQi6HHoxYOHCe4D1lHSLN3CkqYkqTBKT/4P7171L3gTr4L/wJ9h2vXgNh8IPDzP+5UniBlV2nG+rcrK6tr6RnWztrW9s7tn7x90lEgkJm0smJC9ACnCaETammpGerEkiAeMdIPJTe53H4lUVEQPehqTAUejiIYUI20k3z72ONJjhWV6l/mpJzgZId+FM5L5dt1pOAXgMnFLUgclWr794w0FTjiJNGZIqb7rxHqQIqkpZiSreYkiMcITNCJ9QyPEiRqkxTcyeGqUIQyFNC/SsFD/dqSIKzXlgaksjl70cvE/r5/o8GqQ0ihONInwbFGYMKgFzDOBQyoJ1mxqCMKSmlshHiOJsDbJzW3JZ0sVqqxmonEXg1gmnfOG6zTc+4t687oMqQqOwAk4Ay64BE1wC1qgDTB4Ai/gFbxZz9a79WF9zkorVtlzCOZgff0CLDWikw==</latexit><latexit sha1_base64="6QTBLq7Snn0MqwYuB9YLScIUffM=">AAACHHicbVBNS8MwGE7n15xfVY8iBIfgabQi6HHoxYOHCe4D1lHSLN3CkqYkqTBKT/4P7171L3gTr4L/wJ9h2vXgNh8IPDzP+5UniBlV2nG+rcrK6tr6RnWztrW9s7tn7x90lEgkJm0smJC9ACnCaETammpGerEkiAeMdIPJTe53H4lUVEQPehqTAUejiIYUI20k3z72ONJjhWV6l/mpJzgZId+FM5L5dt1pOAXgMnFLUgclWr794w0FTjiJNGZIqb7rxHqQIqkpZiSreYkiMcITNCJ9QyPEiRqkxTcyeGqUIQyFNC/SsFD/dqSIKzXlgaksjl70cvE/r5/o8GqQ0ihONInwbFGYMKgFzDOBQyoJ1mxqCMKSmlshHiOJsDbJzW3JZ0sVqqxmonEXg1gmnfOG6zTc+4t687oMqQqOwAk4Ay64BE1wC1qgDTB4Ai/gFbxZz9a79WF9zkorVtlzCOZgff0CLDWikw==</latexit><latexit sha1_base64="6QTBLq7Snn0MqwYuB9YLScIUffM=">AAACHHicbVBNS8MwGE7n15xfVY8iBIfgabQi6HHoxYOHCe4D1lHSLN3CkqYkqTBKT/4P7171L3gTr4L/wJ9h2vXgNh8IPDzP+5UniBlV2nG+rcrK6tr6RnWztrW9s7tn7x90lEgkJm0smJC9ACnCaETammpGerEkiAeMdIPJTe53H4lUVEQPehqTAUejiIYUI20k3z72ONJjhWV6l/mpJzgZId+FM5L5dt1pOAXgMnFLUgclWr794w0FTjiJNGZIqb7rxHqQIqkpZiSreYkiMcITNCJ9QyPEiRqkxTcyeGqUIQyFNC/SsFD/dqSIKzXlgaksjl70cvE/r5/o8GqQ0ihONInwbFGYMKgFzDOBQyoJ1mxqCMKSmlshHiOJsDbJzW3JZ0sVqqxmonEXg1gmnfOG6zTc+4t687oMqQqOwAk4Ay64BE1wC1qgDTB4Ai/gFbxZz9a79WF9zkorVtlzCOZgff0CLDWikw==</latexit>

L1 = first-order logic<latexit sha1_base64="45ddNPsZu/fZxPjqZFRqcoCgy/Q=">AAACJ3icbVDLSsNAFJ34rPUVdelmsAjdWBIRdCMU3bhwUcE+oAlhMp20QyeZMDMRS8gv+B/u3eovuBNduvMznKRZ2NYDA4dz7muOHzMqlWV9GUvLK6tr65WN6ubW9s6uubffkTwRmLQxZ1z0fCQJoxFpK6oY6cWCoNBnpOuPr3O/+0CEpDy6V5OYuCEaRjSgGCkteWbdCZEaSSzS28yz4SV0Qp8/pgEVUp1wMSACMj6kOPPMmtWwCsBFYpekBkq0PPPHGXCchCRSmCEp+7YVKzdFQlHMSFZ1EklihMdoSPqaRigk0k2LH2XwWCsDGHChX6Rgof7tSFEo5ST0dWVx/7yXi/95/UQFF25KozhRJMLTRUHCoOIwjwcOqCBYsYkmCAuqb4V4hATCSoc4syWfLWQgs6qOxp4PYpF0Thu21bDvzmrNqzKkCjgER6AObHAOmuAGtEAbYPAEXsAreDOejXfjw/icli4ZZc8BmIHx/QuIhqbm</latexit><latexit sha1_base64="45ddNPsZu/fZxPjqZFRqcoCgy/Q=">AAACJ3icbVDLSsNAFJ34rPUVdelmsAjdWBIRdCMU3bhwUcE+oAlhMp20QyeZMDMRS8gv+B/u3eovuBNduvMznKRZ2NYDA4dz7muOHzMqlWV9GUvLK6tr65WN6ubW9s6uubffkTwRmLQxZ1z0fCQJoxFpK6oY6cWCoNBnpOuPr3O/+0CEpDy6V5OYuCEaRjSgGCkteWbdCZEaSSzS28yz4SV0Qp8/pgEVUp1wMSACMj6kOPPMmtWwCsBFYpekBkq0PPPHGXCchCRSmCEp+7YVKzdFQlHMSFZ1EklihMdoSPqaRigk0k2LH2XwWCsDGHChX6Rgof7tSFEo5ST0dWVx/7yXi/95/UQFF25KozhRJMLTRUHCoOIwjwcOqCBYsYkmCAuqb4V4hATCSoc4syWfLWQgs6qOxp4PYpF0Thu21bDvzmrNqzKkCjgER6AObHAOmuAGtEAbYPAEXsAreDOejXfjw/icli4ZZc8BmIHx/QuIhqbm</latexit><latexit sha1_base64="45ddNPsZu/fZxPjqZFRqcoCgy/Q=">AAACJ3icbVDLSsNAFJ34rPUVdelmsAjdWBIRdCMU3bhwUcE+oAlhMp20QyeZMDMRS8gv+B/u3eovuBNduvMznKRZ2NYDA4dz7muOHzMqlWV9GUvLK6tr65WN6ubW9s6uubffkTwRmLQxZ1z0fCQJoxFpK6oY6cWCoNBnpOuPr3O/+0CEpDy6V5OYuCEaRjSgGCkteWbdCZEaSSzS28yz4SV0Qp8/pgEVUp1wMSACMj6kOPPMmtWwCsBFYpekBkq0PPPHGXCchCRSmCEp+7YVKzdFQlHMSFZ1EklihMdoSPqaRigk0k2LH2XwWCsDGHChX6Rgof7tSFEo5ST0dWVx/7yXi/95/UQFF25KozhRJMLTRUHCoOIwjwcOqCBYsYkmCAuqb4V4hATCSoc4syWfLWQgs6qOxp4PYpF0Thu21bDvzmrNqzKkCjgER6AObHAOmuAGtEAbYPAEXsAreDOejXfjw/icli4ZZc8BmIHx/QuIhqbm</latexit><latexit sha1_base64="45ddNPsZu/fZxPjqZFRqcoCgy/Q=">AAACJ3icbVDLSsNAFJ34rPUVdelmsAjdWBIRdCMU3bhwUcE+oAlhMp20QyeZMDMRS8gv+B/u3eovuBNduvMznKRZ2NYDA4dz7muOHzMqlWV9GUvLK6tr65WN6ubW9s6uubffkTwRmLQxZ1z0fCQJoxFpK6oY6cWCoNBnpOuPr3O/+0CEpDy6V5OYuCEaRjSgGCkteWbdCZEaSSzS28yz4SV0Qp8/pgEVUp1wMSACMj6kOPPMmtWwCsBFYpekBkq0PPPHGXCchCRSmCEp+7YVKzdFQlHMSFZ1EklihMdoSPqaRigk0k2LH2XwWCsDGHChX6Rgof7tSFEo5ST0dWVx/7yXi/95/UQFF25KozhRJMLTRUHCoOIwjwcOqCBYsYkmCAuqb4V4hATCSoc4syWfLWQgs6qOxp4PYpF0Thu21bDvzmrNqzKkCjgER6AObHAOmuAGtEAbYPAEXsAreDOejXfjw/icli4ZZc8BmIHx/QuIhqbm</latexit>

L0 = zeroth-order logic<latexit sha1_base64="rae+VGvksk3nCsYockaB25wnhnQ=">AAACKHicbVDLSsNAFJ3UV62vqks3g0XQhSURQTdC0Y0LFxXsA9pSJtObdugkE2YmYg35Bv/DvVv9BXfSrSs/w0mbhW09MHA45z7mHjfkTGnbHlu5peWV1bX8emFjc2t7p7i7V1cikhRqVHAhmy5RwFkANc00h2Yogfguh4Y7vEn9xiNIxUTwoEchdHzSD5jHKNFG6hZP2j7RA0VlfJd0bXyF274rnuJnkEIPToXsgcRc9BlNusWSXbYnwIvEyUgJZah2iz/tnqCRD4GmnCjVcuxQd2IiNaMckkI7UhASOiR9aBkaEB9UJ56clOAjo/SwJ6R5gcYT9W9HTHylRr5rKicHzHup+J/XirR32YlZEEYaAjpd5EUca4HTfHCPSaCajwwhVDLzV0wHRBKqTYozW9LZUnkqKZhonPkgFkn9rOzYZef+vFS5zkLKowN0iI6Rgy5QBd2iKqohil7QG3pHH9ar9Wl9WeNpac7KevbRDKzvX3aSp2M=</latexit><latexit sha1_base64="rae+VGvksk3nCsYockaB25wnhnQ=">AAACKHicbVDLSsNAFJ3UV62vqks3g0XQhSURQTdC0Y0LFxXsA9pSJtObdugkE2YmYg35Bv/DvVv9BXfSrSs/w0mbhW09MHA45z7mHjfkTGnbHlu5peWV1bX8emFjc2t7p7i7V1cikhRqVHAhmy5RwFkANc00h2Yogfguh4Y7vEn9xiNIxUTwoEchdHzSD5jHKNFG6hZP2j7RA0VlfJd0bXyF274rnuJnkEIPToXsgcRc9BlNusWSXbYnwIvEyUgJZah2iz/tnqCRD4GmnCjVcuxQd2IiNaMckkI7UhASOiR9aBkaEB9UJ56clOAjo/SwJ6R5gcYT9W9HTHylRr5rKicHzHup+J/XirR32YlZEEYaAjpd5EUca4HTfHCPSaCajwwhVDLzV0wHRBKqTYozW9LZUnkqKZhonPkgFkn9rOzYZef+vFS5zkLKowN0iI6Rgy5QBd2iKqohil7QG3pHH9ar9Wl9WeNpac7KevbRDKzvX3aSp2M=</latexit><latexit sha1_base64="rae+VGvksk3nCsYockaB25wnhnQ=">AAACKHicbVDLSsNAFJ3UV62vqks3g0XQhSURQTdC0Y0LFxXsA9pSJtObdugkE2YmYg35Bv/DvVv9BXfSrSs/w0mbhW09MHA45z7mHjfkTGnbHlu5peWV1bX8emFjc2t7p7i7V1cikhRqVHAhmy5RwFkANc00h2Yogfguh4Y7vEn9xiNIxUTwoEchdHzSD5jHKNFG6hZP2j7RA0VlfJd0bXyF274rnuJnkEIPToXsgcRc9BlNusWSXbYnwIvEyUgJZah2iz/tnqCRD4GmnCjVcuxQd2IiNaMckkI7UhASOiR9aBkaEB9UJ56clOAjo/SwJ6R5gcYT9W9HTHylRr5rKicHzHup+J/XirR32YlZEEYaAjpd5EUca4HTfHCPSaCajwwhVDLzV0wHRBKqTYozW9LZUnkqKZhonPkgFkn9rOzYZef+vFS5zkLKowN0iI6Rgy5QBd2iKqohil7QG3pHH9ar9Wl9WeNpac7KevbRDKzvX3aSp2M=</latexit><latexit sha1_base64="rae+VGvksk3nCsYockaB25wnhnQ=">AAACKHicbVDLSsNAFJ3UV62vqks3g0XQhSURQTdC0Y0LFxXsA9pSJtObdugkE2YmYg35Bv/DvVv9BXfSrSs/w0mbhW09MHA45z7mHjfkTGnbHlu5peWV1bX8emFjc2t7p7i7V1cikhRqVHAhmy5RwFkANc00h2Yogfguh4Y7vEn9xiNIxUTwoEchdHzSD5jHKNFG6hZP2j7RA0VlfJd0bXyF274rnuJnkEIPToXsgcRc9BlNusWSXbYnwIvEyUgJZah2iz/tnqCRD4GmnCjVcuxQd2IiNaMckkI7UhASOiR9aBkaEB9UJ56clOAjo/SwJ6R5gcYT9W9HTHylRr5rKicHzHup+J/XirR32YlZEEYaAjpd5EUca4HTfHCPSaCajwwhVDLzV0wHRBKqTYozW9LZUnkqKZhonPkgFkn9rOzYZef+vFS5zkLKowN0iI6Rgy5QBd2iKqohil7QG3pHH9ar9Wl9WeNpac7KevbRDKzvX3aSp2M=</latexit>

LPropCalc = propositional calculus<latexit sha1_base64="DE1nAlInoZB4QbARKY9i/o//6a4=">AAACPnicbVC7SgNBFJ31bXxFLW0Gg2AVdkXQRhRtLCwimAdkQ5i9mdXB2Z1l5q4kLPs5/oe9rRb+gNiIraWzMYVJPDBwOOeeudwTJFIYdN03Z2Z2bn5hcWm5tLK6tr5R3txqGJVq4HVQUulWwAyXIuZ1FCh5K9GcRYHkzeD+ovCbD1wboeIbHCS8E7HbWIQCGFqpWz71I4Z3BnR2lXczH3kfDWQ1rZILJiHP6Qn1o0D1s8RKyogixSQFa6YyNXm3XHGr7hB0mngjUiEj1LrlD7+nII14jCCZMW3PTbCTMY0CJM9Lfmp4wuCe3fK2pTGLuOlkw0NzumeVHg2Vti9GOlT/JjIWGTOIAjs5PGvSK8T/vHaK4XEnE3GSIo/hd1GYSoqKFq3RntAcUA4sYaBtC0DhjmkGaLsd21L8rU1o8pKtxpssYpo0DqqeW/WuDytn56OSlsgO2SX7xCNH5IxckhqpEyCP5Jm8kFfnyXl3Pp2v39EZZ5TZJmNwvn8AOVuyBg==</latexit><latexit sha1_base64="DE1nAlInoZB4QbARKY9i/o//6a4=">AAACPnicbVC7SgNBFJ31bXxFLW0Gg2AVdkXQRhRtLCwimAdkQ5i9mdXB2Z1l5q4kLPs5/oe9rRb+gNiIraWzMYVJPDBwOOeeudwTJFIYdN03Z2Z2bn5hcWm5tLK6tr5R3txqGJVq4HVQUulWwAyXIuZ1FCh5K9GcRYHkzeD+ovCbD1wboeIbHCS8E7HbWIQCGFqpWz71I4Z3BnR2lXczH3kfDWQ1rZILJiHP6Qn1o0D1s8RKyogixSQFa6YyNXm3XHGr7hB0mngjUiEj1LrlD7+nII14jCCZMW3PTbCTMY0CJM9Lfmp4wuCe3fK2pTGLuOlkw0NzumeVHg2Vti9GOlT/JjIWGTOIAjs5PGvSK8T/vHaK4XEnE3GSIo/hd1GYSoqKFq3RntAcUA4sYaBtC0DhjmkGaLsd21L8rU1o8pKtxpssYpo0DqqeW/WuDytn56OSlsgO2SX7xCNH5IxckhqpEyCP5Jm8kFfnyXl3Pp2v39EZZ5TZJmNwvn8AOVuyBg==</latexit><latexit sha1_base64="DE1nAlInoZB4QbARKY9i/o//6a4=">AAACPnicbVC7SgNBFJ31bXxFLW0Gg2AVdkXQRhRtLCwimAdkQ5i9mdXB2Z1l5q4kLPs5/oe9rRb+gNiIraWzMYVJPDBwOOeeudwTJFIYdN03Z2Z2bn5hcWm5tLK6tr5R3txqGJVq4HVQUulWwAyXIuZ1FCh5K9GcRYHkzeD+ovCbD1wboeIbHCS8E7HbWIQCGFqpWz71I4Z3BnR2lXczH3kfDWQ1rZILJiHP6Qn1o0D1s8RKyogixSQFa6YyNXm3XHGr7hB0mngjUiEj1LrlD7+nII14jCCZMW3PTbCTMY0CJM9Lfmp4wuCe3fK2pTGLuOlkw0NzumeVHg2Vti9GOlT/JjIWGTOIAjs5PGvSK8T/vHaK4XEnE3GSIo/hd1GYSoqKFq3RntAcUA4sYaBtC0DhjmkGaLsd21L8rU1o8pKtxpssYpo0DqqeW/WuDytn56OSlsgO2SX7xCNH5IxckhqpEyCP5Jm8kFfnyXl3Pp2v39EZZ5TZJmNwvn8AOVuyBg==</latexit><latexit sha1_base64="DE1nAlInoZB4QbARKY9i/o//6a4=">AAACPnicbVC7SgNBFJ31bXxFLW0Gg2AVdkXQRhRtLCwimAdkQ5i9mdXB2Z1l5q4kLPs5/oe9rRb+gNiIraWzMYVJPDBwOOeeudwTJFIYdN03Z2Z2bn5hcWm5tLK6tr5R3txqGJVq4HVQUulWwAyXIuZ1FCh5K9GcRYHkzeD+ovCbD1wboeIbHCS8E7HbWIQCGFqpWz71I4Z3BnR2lXczH3kfDWQ1rZILJiHP6Qn1o0D1s8RKyogixSQFa6YyNXm3XHGr7hB0mngjUiEj1LrlD7+nII14jCCZMW3PTbCTMY0CJM9Lfmp4wuCe3fK2pTGLuOlkw0NzumeVHg2Vti9GOlT/JjIWGTOIAjs5PGvSK8T/vHaK4XEnE3GSIo/hd1GYSoqKFq3RntAcUA4sYaBtC0DhjmkGaLsd21L8rU1o8pKtxpssYpo0DqqeW/WuDytn56OSlsgO2SX7xCNH5IxckhqpEyCP5Jm8kFfnyXl3Pp2v39EZZ5TZJmNwvn8AOVuyBg==</latexit>

DCEC⇤<latexit sha1_base64="jH7bxOPxNLvK9MqLWOo6fnj1hGk=">AAACEnicbVDLSsNAFJ3UV62vaJduBovgqiQi6LJYBZcV7AOaWG6mk3bo5MHMRCghf+Herf6CO3HrD/gHfoaTNgvbemDgcM69cw/HizmTyrK+jdLa+sbmVnm7srO7t39gHh51ZJQIQtsk4pHoeSApZyFtK6Y47cWCQuBx2vUmzdzvPlEhWRQ+qGlM3QBGIfMZAaWlgVl1AlBjAjy9ad42s0cHpBqYNatuzYBXiV2QGirQGpg/zjAiSUBDRThI2betWLkpCMUIp1nFSSSNgUxgRPuahhBQ6aaz8Bk+1coQ+5HQL1R4pv7dSCGQchp4ejKPKpe9XPzP6yfKv3JTFsaJoiGZH/ITjlWE8ybwkAlKFJ9qAkQwnRWTMQggSve1cCX/W0hfZhVdjb1cxCrpnNdtq27fX9Qa10VJZXSMTtAZstElaqA71EJtRNAUvaBX9GY8G+/Gh/E5Hy0ZxU4VLcD4+gWz5p4L</latexit><latexit sha1_base64="jH7bxOPxNLvK9MqLWOo6fnj1hGk=">AAACEnicbVDLSsNAFJ3UV62vaJduBovgqiQi6LJYBZcV7AOaWG6mk3bo5MHMRCghf+Herf6CO3HrD/gHfoaTNgvbemDgcM69cw/HizmTyrK+jdLa+sbmVnm7srO7t39gHh51ZJQIQtsk4pHoeSApZyFtK6Y47cWCQuBx2vUmzdzvPlEhWRQ+qGlM3QBGIfMZAaWlgVl1AlBjAjy9ad42s0cHpBqYNatuzYBXiV2QGirQGpg/zjAiSUBDRThI2betWLkpCMUIp1nFSSSNgUxgRPuahhBQ6aaz8Bk+1coQ+5HQL1R4pv7dSCGQchp4ejKPKpe9XPzP6yfKv3JTFsaJoiGZH/ITjlWE8ybwkAlKFJ9qAkQwnRWTMQggSve1cCX/W0hfZhVdjb1cxCrpnNdtq27fX9Qa10VJZXSMTtAZstElaqA71EJtRNAUvaBX9GY8G+/Gh/E5Hy0ZxU4VLcD4+gWz5p4L</latexit><latexit sha1_base64="jH7bxOPxNLvK9MqLWOo6fnj1hGk=">AAACEnicbVDLSsNAFJ3UV62vaJduBovgqiQi6LJYBZcV7AOaWG6mk3bo5MHMRCghf+Herf6CO3HrD/gHfoaTNgvbemDgcM69cw/HizmTyrK+jdLa+sbmVnm7srO7t39gHh51ZJQIQtsk4pHoeSApZyFtK6Y47cWCQuBx2vUmzdzvPlEhWRQ+qGlM3QBGIfMZAaWlgVl1AlBjAjy9ad42s0cHpBqYNatuzYBXiV2QGirQGpg/zjAiSUBDRThI2betWLkpCMUIp1nFSSSNgUxgRPuahhBQ6aaz8Bk+1coQ+5HQL1R4pv7dSCGQchp4ejKPKpe9XPzP6yfKv3JTFsaJoiGZH/ITjlWE8ybwkAlKFJ9qAkQwnRWTMQggSve1cCX/W0hfZhVdjb1cxCrpnNdtq27fX9Qa10VJZXSMTtAZstElaqA71EJtRNAUvaBX9GY8G+/Gh/E5Hy0ZxU4VLcD4+gWz5p4L</latexit><latexit sha1_base64="jH7bxOPxNLvK9MqLWOo6fnj1hGk=">AAACEnicbVDLSsNAFJ3UV62vaJduBovgqiQi6LJYBZcV7AOaWG6mk3bo5MHMRCghf+Herf6CO3HrD/gHfoaTNgvbemDgcM69cw/HizmTyrK+jdLa+sbmVnm7srO7t39gHh51ZJQIQtsk4pHoeSApZyFtK6Y47cWCQuBx2vUmzdzvPlEhWRQ+qGlM3QBGIfMZAaWlgVl1AlBjAjy9ad42s0cHpBqYNatuzYBXiV2QGirQGpg/zjAiSUBDRThI2betWLkpCMUIp1nFSSSNgUxgRPuahhBQ6aaz8Bk+1coQ+5HQL1R4pv7dSCGQchp4ejKPKpe9XPzP6yfKv3JTFsaJoiGZH/ITjlWE8ybwkAlKFJ9qAkQwnRWTMQggSve1cCX/W0hfZhVdjb1cxCrpnNdtq27fX9Qa10VJZXSMTtAZstElaqA71EJtRNAUvaBX9GY8G+/Gh/E5Hy0ZxU4VLcD4+gWz5p4L</latexit>

PPC Problem …

Larry attended Hotchkiss before entering Harvard, from which he graduated with a degree in Scandinavian Studies. He aspires to be a Diplomat representing the United States to Sweden. Larry is from a rather wealthy family: his trust fund is valued at $7 billion; his father collects exotic islands, his mother precursor-to-Impressionism masterpieces, and his three bachelor brothers, fast, classic European luxury sedans capable of heart-pounding top speeds. Larry’s command of math never exceeded what is covered on the SAT, and he has long forgotten even this material. He does not understand what a computer or computer program is, but nonetheless makes continuous use of social networking technology, including specifically facebook, on which he is liked by four people, all in his nuclear family, save for one, and that one is a brilliant female with a penchant for driving fast European sedans really fast. Say what you will about Larry, he is arrestingly eloquent without notes of any kind when speaking about geopolitics, in any venue; knows perhaps more about the history of Northern Europe (including its mythology) than any man alive; and while in keeping with his upbringing is a Hayekian capitalist, is rumored to generously donate millions each year to Big Brothers Big Sisters, AA, and Samaritan’s Purse.

Larry

LucyLucy is a brilliant but poor hacker from a broken, impoverished home in Buffalo NY. A motherless only child raised by a single, devoted father who made ends meet (between binges on the bottle) as a brilliant but itinerant Daimler mechanic, she saw more heartache in her youth than that catalogued in a thousand country-song sagas. As a sophomore at MIT, she (successfully) petitioned to move directly to the PhD program in computer science without having to suffer the — to use her words — “torturous tedium” of the junior and senior years. This rapid “ascension” was all the more remarkable because her first year in college was not spent at MIT, but at Erie Community College, where on day one of Java 101, the professor insisted she come to her office after class, whereupon was launched a tutor-student relationship that initially centered not around not Java, but the language for which Professor Kuth has a secret passion: Prolog. Lucy has consistently rebuffed the overtures of all males at MIT, a group she disdains for their universally poor command of matters computational. Lucy stays in touch with her father by email (and as of this writing has managed to maintain her atheism despite his conversion and testimony), and with but five friends on facebook, one of whom has attended an Ivy-League institution, and one of whom, an entrepreneur co-running a startup company in the mobile computing space, attends a likewise techie university 2.5-hrs-drive to-the-west-of MIT.

‘Larry’ :: larry‘Lucy’ :: lucy‘Virginia’ :: virginia‘Prescott’ :: prescott‘Hank’ :: hank‘Abe’ :: abe‘Ben’ :: ben‘Charles’ :: charles‘Christian’ :: christian‘Harvard’ :: harvard‘MIT’ :: mit‘RPI’ :: rpi‘Rensselaer’ :: rensselaerfather-of is a function; eg we can say: (father-of lucy)brother-of is a function; eg we can say: (brother-of larry)x is rich iff (Rich x)x is employed at y iff (EmployedAt x y)x is west of y iff (WestOf x y)x attends y iff (Attends x y)x had i-contact with y iff (IContact x y)x facebook-likes y iff (F-Likes x y)x truly likes y iff (T-Likes x y)x is an alum of y iff (Alum x y)x is a hacker iff (Hacker x)x is computationally sophisticated iff (Comp-Soph x)x is a female iff (Female x)x is a generous iff (Generous x)x is eloquent iff (Eloquent x)x is a brother of y iff (Brother x y)x knows Norse mythology iff (K-Norse-Myth x)x knows who Huginn and Muninn are iff (K-H-M x)

Key

Work through this example from the book!

Pop Problem #2

22

Slutten — for i dag.