Glossary: Formulae

From Lexical Resource Semantics

Revision as of 13:44, 23 October 2012 by Elisabeth.krall (talk | contribs)

(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 "https://www.lexical-resource-semantics.de/wiki/index.php?title=Glossary:_Formulae&oldid=1018"