Introduction

Contents/Index

@1. Introduction
2. Propositional Extension
3. Syntax
4. Semantics
5. Natural Deduction
6. Equivalences

This is an introduction to predicate logic. We will go through:

1. Logic in languages
2. The syntax of predicate logic
3. Natural deduction as a reasoning system
4. Semantics of predicate logic
5. Soundness and Completeness between predicate logic and proof systems (however not to the extend as for propositional logic)

The book used as background material is Logic in Computer Science by Micheal Huth and Mark Ryan. And we use Boxprover as proof assistant. I will leave out details requiring special computer science knowledge.