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 edit summary |
||
| Line 7: | Line 7: | ||
== Examples == | == Examples == | ||
''professor(Mr. Sailer)=true'' | ''professor(Mr. Sailer)=true'' <br /> | ||
''student(Mr.Sailer)=wrong'' | ''student(Mr.Sailer)=wrong'' | ||
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