Exercise Quantifiers: Difference between revisions
Line 49: | Line 49: | ||
File:Everyone_loves_someone_2.jpeg|Another Reading | File:Everyone_loves_someone_2.jpeg|Another Reading | ||
</gallery> | </gallery> | ||
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px"> | <div class="toccolours mw-collapsible mw-collapsed" style="width:800px"> | ||
Line 64: | Line 61: | ||
</div> | </div> | ||
'''2.''' Write down the two possible logical forms. | '''2.''' Write down the two possible logical forms. | ||
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px"> | <div class="toccolours mw-collapsible mw-collapsed" style="width:800px"> |
Revision as of 23:21, 16 December 2013
The following material is an adapted form of material created by student participants of the project e-Learning Resources for Semantics (e-LRS).
Involved participants: AnKa, Katharina, Lara
Restricted Quantifiers
Find the right formula for the sentence below.
Different types of Quantifiers
Which type(s) of Quantifiers does the sentence below have?
2. Write down the corresponding logical formula(s). Check your solutions here.
Scopal Ambiguity
1. In which way is the following sentence ambiguous?
Everyone loves someone.
The following pictures may help you:
Check your solutions here:
When looking at the two pictures that try to help you, you can see two possible readings:
1. For every person there is, there is at least one other person who loves him / her.
2. There is one person that is loved by everyone else.2. Write down the two possible logical forms.
Check your solutions here:
∀x (person(x) ⊃ ∃y (person(y) ∧ love(x,y)
Or, in restricted-quantifier notation: ∀x (person(x) : ∃y (person(y) : love(x,y)
2. There is one person that is loved by everyone:
∃y (person(y) ⊃ ∀x (person(x) ∧ love(x,y)
Or, in restricted-quantifier notation: ∀x (person(x) : ∃y (person(y) : love(x,y)