| 
|
Quote: all uses of the variable 'x' can be transformed into qualification, classes, functions, or combinators; e.g., singular description
topics >
all references >
references p-r >
Topic:
logic
Topic:
variable as reference to a value
Topic:
abstraction
Quotation Skeleton
Contexts of qualification, '(x)( … x … )' and '(.thereExists.x)( … x … )', do not exhaust the ways in which … of singular description 'the object x such that … ' and others. However, the quantificational use of … sort of use. Every statement containing a variable … quantificational use. [Can also use class abstraction, functional abstraction, or combinators in place of quantification] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: logic (84 items)
Topic: variable as reference to a value (21 items)
Topic: abstraction (62 items)