Syntax 1 Wiki: Week 3: Difference between revisions
No edit summary |
No edit summary |
||
Line 3: | Line 3: | ||
== Valence == | == Valence == | ||
'''Exercise 1''' For I('''cat<sup>1</sup>''') and I('''lilly'''), specify one plausible value each so that the formula '''cat<sup>1</sup>(lilly)''' becomes true in M. | |||
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px"> | |||
Check your answer | |||
<div class="mw-collapsible-content"> | |||
I('''cat<sup>1</sup>''') = {<''cat1''>,<''cat2''>,<''cat3''>} | |||
For I('''lilly'''), each of the following 3 values will now make '''cat<sup>1</sup>(lilly)''' true in M:<br> | |||
a. I('''lilly''') = ''cat1'' , or<br> | |||
b. I('''lilly''') = ''cat2'' , or<br> | |||
c. I('''lilly''') = ''cat3'' . | |||
We prove this for case (b): | |||
1. [[<nowiki />'''cat'''<sup>1</sup>('''lilly''')]]<sup>M</sup> = 1 iff <[[<nowiki />'''lilly''']]<sup>M</sup>> ∈ I('''cat<sup>1</sup>''')<br> | |||
2. iff <I('''lilly''')> ∈ I('''cat<sup>1</sup>''')<br> | |||
3. iff <''cat2''> ∈ {<''cat1''>,<''cat2''>,<''cat3''>}<br> | |||
Hence: since (3) is the case, so are (2) and the righthand side of (1). Finally, since the righthand side of (1) is the case, the lefthand side is the case as well. Hence [[<nowiki />'''cat'''<sup>1</sup>('''lilly''')]]<sup>M</sup> is true in model M. That is what we intended to prove! | |||
</div> | |||
</div> | |||
1. Kim <u>snores</u>.<br> | 1. Kim <u>snores</u>.<br> |
Revision as of 09:55, 9 November 2020
Valence
Exercise 1 For I(cat1) and I(lilly), specify one plausible value each so that the formula cat1(lilly) becomes true in M.
Check your answer
I(cat1) = {<cat1>,<cat2>,<cat3>}
For I(lilly), each of the following 3 values will now make cat1(lilly) true in M:
a. I(lilly) = cat1 , or
b. I(lilly) = cat2 , or
c. I(lilly) = cat3 .
We prove this for case (b):
1. [[cat1(lilly)]]M = 1 iff <[[lilly]]M> ∈ I(cat1)
2. iff <I(lilly)> ∈ I(cat1)
3. iff <cat2> ∈ {<cat1>,<cat2>,<cat3>}
Hence: since (3) is the case, so are (2) and the righthand side of (1). Finally, since the righthand side of (1) is the case, the lefthand side is the case as well. Hence [[cat1(lilly)]]M is true in model M. That is what we intended to prove!
1. Kim snores.
2. Kim likes Robin.
3. Kim talked to the student.
4. Kim showed Hessen to Robin.
5. Kim handed Robin the apple.
Example | SUBJ | COMPS |
---|---|---|
snores | <NP[nom]> | <> |
likes | <NP[nom]> | <NP[acc]> |
put[base] | <NP> | <NP[acc],PP> |
persuade[base] | <NP> | <NP[acc],VP[inf]> |
afraid | <NP> | <PP> |
of | <> | <NP[acc]> |
that (C) | <> | <S[fin]> |