Predicate Logic – part I
My second presentation in doctoral seminar presented at lab was about a predicate logic. Predicate logic is one of the important area of the symbolic logic. The predicate logic, also called first-order predicate calculus, is distinguished from propositional logic by its use of predicates and quantifiers. For using predicates and quantifiers, variables are used in predicate logic, and also constants and function symbols can be used.
In this seminar, I presented an overview, description of predicate logic as a formal language, and proof theory of predicate logic. Issues about semantics and undecidability of predicate logic will be presented in next seminar presentation(maybe...7/22~7/23).
My presentation material is attached in this post. It is written using a latex and beamer-class.