Glossary: Formulae: Difference between revisions
Jump to navigation
Jump to search
| Line 9: | Line 9: | ||
== Examples == | == Examples == | ||
''professor(Mr. Sailer)=true'' <br /> | '''professor(Mr.Sailer)'''= ''true'' <br /> | ||
''student(Mr.Sailer)=wrong'' | '''student(Mr.Sailer)''' = ''wrong'' | ||
== References == | == References == | ||
Revision as of 10:13, 6 February 2013
Warning:
The material on this page has been created as part of a seminar. It is still heavily under construction and we do not guarantee its correctness. If you have comments on this page or suggestions for improvement, please contact Manfred Sailer.
This note will be removed once the page has been carefully checked and integrated into the main part of this wiki.
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
- Quantifiers
Literature
- Chapter 2 of Manfred Sailer's textbook