Glossary:Variable: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
(Created page with "= Variable = BE /ˈveərɪəbl/, AE /ˈvɛriəbəl/ == Definition == A variable is a symbol which can stand for any entity. It must stand for the same entity each time it occ...")
 
Line 7: Line 7:
== Examples ==
== Examples ==
'''Maria peeled and quartered three apples.'''<br/>
'''Maria peeled and quartered three apples.'''<br/>
[Three x: APPLE (x)] PEEL (m, x) & QUARTER (m, x)<br/>
[Three '''x''': APPLE ('''x''')] PEEL (m, '''x''') & QUARTER (m, '''x''')<br/>


'''The book was signed by every guest.'''<br/>
'''The book was signed by every guest.'''<br/>
∀x (GUEST (x) → SIGN (x, b))<br/>
∀'''x''' (GUEST ('''x''') → SIGN ('''x''', b))<br/>


== References ==
== References ==

Revision as of 01:28, 24 June 2016

Variable

BE /ˈveərɪəbl/, AE /ˈvɛriəbəl/

Definition

A variable is a symbol which can stand for any entity. It must stand for the same entity each time it occurs in a formula.

Examples

Maria peeled and quartered three apples.
[Three x: APPLE (x)] PEEL (m, x) & QUARTER (m, x)

The book was signed by every guest.
x (GUEST (x) → SIGN (x, b))

References

  • Gregory, Howard. 2000. Semantics. Language Workbook. London/New York: Routledge.

Related Terms


Back to the Basic Glossary