Glossary: Logical Connectives: Difference between revisions
(Created page with "{{MaterialUnderConstruction}} = Logical Connectives = == Definition == Logical connectives are the conjunction ''and'', the disjunction ''or'', and the implication ''if......") |
|||
| Line 14: | Line 14: | ||
Paul rather wants to live in Munich and Alice is small. | Paul rather wants to live in Munich and Alice is small. | ||
Complex formula: ''' | Complex formula: '''wants-to-live-in-Munich (paul) Ʌ small (alice)''' | ||
Walter is a dog or Tom is not blonde. | Walter is a dog or Tom is not blonde. | ||
Complex formula: '''dog (walter) V ¬ blonde (tom)''' | Complex formula: '''dog (walter) V ¬ blonde (tom)''' | ||
== References == | == References == | ||
Revision as of 10:29, 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.
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
- Chapter 2 of Manfred Sailer's textbook