Exercise Quantifiers: Difference between revisions

Revision as of 00:00, 15 November 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

Find the right formula for the sentence below.

Which type(s) of Quantifiers does the sentence below have?

2. Write down the corresponding logical formula(s). Check your solutions here.

1. In which way is the following sentence ambiguous?

Everyone loves someone.

The following pictures may help you:

2. Write down the two possible logical forms. Check your solutions here

@@ Line 28: / Line 28: @@
 |type="[]"}
 - existential
-|| Existential quantifiers are used for sentences that represent something that exists. <br />
+|| Existential quantifiers are used for sentences that represent something that exists.
-|| Of course, you could argue that there is a Person x such that x is called Ramon and x makes (and then signs) sculptures - but this is not what we were going for. <br />
+|| Of course, you could argue that there is a person x such that x is called Ramon and x makes (and then signs) sculptures - but this is not what we were going for.
-|| Maybe you want to check the possible answers once more.<br />
 + universal
 + restricted

	∃x (student(x) : (hear(x,concert) ∧ interview(holmes,x)))
	∃x ((student(x) ∧ hear(x,concert)) : interview(holmes,x))
	∃x (student(x) ∧ hear(x,concert) ∧ interview(holmes,x))
	∃x ((student(x) ∧ interview(holmes,x)) : hear(x,concert))