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.
Propositional Logic
In lab., doctoral students and Dr. Eom have started doctoral seminar. Computer theories, a probability theory and a graph theory are the subject of seminar. I response a part of computer theory which consists of the logic in computer science, an automata theory, a computability theory and a complexity theory. My first seminar presentation was presented on June 30 in last week. The presentation is about a propositional logic. I attach presentation file on this post.