Glossary: Formulae: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
 
(2 intermediate revisions by one other user not shown)
Line 1: Line 1:
{{MaterialUnderConstruction}}
{{MaterialUnderConstruction}}


= formulae =
= Formula =


== Definition ==
== Definition ==
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 ==
Line 20: Line 20:
== Literature ==
== Literature ==


* Chapter 2 of Manfred Sailer's textbook
* Levine, Robert D., Frank Richter, and Manfred Sailer (in preparation): Formal Semantics. An Empirically Grounded Approach. Stanford: CSLI Publications. Draft of April 2012. Chapter 2.

Latest revision as of 15:33, 11 April 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.

Formula

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

  • Levine, Robert D., Frank Richter, and Manfred Sailer (in preparation): Formal Semantics. An Empirically Grounded Approach. Stanford: CSLI Publications. Draft of April 2012. Chapter 2.