Glossary: Formulae

From Lexical Resource Semantics
Revision as of 13:44, 23 October 2012 by Elisabeth.krall (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
Retrieved from "http:///wiki/index.php?title=Glossary:_Formulae&oldid=1016"