Glossary: Logical Connectives
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.
Logical Connectives
Definition
Logical connectives are the conjunction and, the disjunction or, and the implication if...then'. In the course of our topic, we also regard the negation not as a logical connective. They are used in order to connect atomic formulae in logical language, i.e. atomic sentences in natural language.
Examples
The following examples refer to the scenario given in the online exercises.
Paul rather wants to live in Munich and Alice is small.
Complex formula: wants-to-live-in-Munich (paul) Ʌ small (alice)
Walter is a dog or Tom is not blonde.
Complex formula: dog (walter) V ¬ blonde (tom)
References
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.