Go backward to ExampleGo up to TopGo forward to Terms |

Extension of propositional logic by

- Terms
- Syntactic phrases denoting objects.
- Variables.
- Function applications.

- Atomic formulas
- Formulas using terms to express facts about particular objects of a domain.

- Quantified formulas
- Formulas expressing facts about all objects of a domain.

Author: Wolfgang Schreiner

Last Modification: October 6, 1999