Glossary: Formulae
Jump to navigation
Jump to search
formulae
Definition
Formulae are expressions of logic that can be interpreted as false or true by applying the interpretation function I.
Examples
professor(Mr. Sailer)=true
student(Mr.Sailer)=wrong
References
- Predicate Logic
- Logical Connectives
Literature
- Chapter 2 of Manfred Sailer's textbook