Glossary: Formulae: Difference between revisions
Jump to navigation
Jump to search
(Created page with "= formulae = == Definition == Formulae are expressions of logic that can be interpreted as false or true by applying the interpretation function ''I''. == Examples == ''p...") |
(No difference)
|
Revision as of 13:44, 23 October 2012
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