Generalized quantifier: Difference between revisions

Revision as of 05:05, 5 April 2022

Revision as of 05:06, 5 April 2022

Line 12:

Given this definition, we have the simple types ''e'' and ''t'', but also a [[countable]] [[infinity]] of complex types, some of which include:

::<math display="block">\langle e,t\rangle;\qquad \langle t,t\rangle;\qquad \langle\langle e,t\rangle, t\rangle; \qquad\langle e,\langle e,t\rangle\rangle; \qquad \langle\langle e,t\rangle,\langle \langle e, t\rangle, t\rangle\rangle;\qquad \ldots</math>

*Expressions of type ''e'' denote elements of the [[universe of discourse]], the set of entities the discourse is about. This set is usually written as <math>D_e</math>. Examples of type ''e'' expressions include ''John'' and ''he''.