Exercise-ch5: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
Line 14: Line 14:
{Notation from chapter 2: '''help'''('''aragorn''','''frodo''')
{Notation from chapter 2: '''help'''('''aragorn''','''frodo''')
New notation:}
New notation:}
+ (('''help'''• e)•'''frodo''')•'''aragorn'''
+ (('''help'''• ''e'')•'''frodo''')•'''aragorn'''
+ (('''help'''• ''e'')•'''aragorn''')•'''frodo'''
+ (('''help'''• '''aragorn''')•'''frodo''')•''e''


</quiz>
</quiz>

Revision as of 22:37, 15 March 2013

Exercises for chapter 5: Simple LRS

New notation

We have introduced the functional notation and the eventuality variable in chapter 5. What are the new formulae that correspond to the formulae from chapter 2?

1 Notation from chapter 2: hobbit(frodo)
New notation:

frodohobbit
hobbitfrodo

2 Notation from chapter 2: help(aragorn,frodo) New notation:

((helpe)•frodo)•aragorn
((helpe)•aragorn)•frodo
((helparagorn)•frodo)•e