Content deleted Content added
m WP:DPL |
Curb Chain (talk | contribs) |
||
Line 27:
Thus, every denotes a function from a ''set'' to a function from a set to a truth value. Put differently, it denotes a function from a set to a set of sets. It is that function which for any two sets ''A,B'', ''every''(''A'')(''B'')= 1 if and only if <math>A\subseteq B</math>.
==
A useful way to write complex functions is the [[lambda calculus]]. For example, one can write the meaning of ''sleeps'' as the following lambda expression, which is a function from an individual ''x'' to the proposition that ''x sleeps''.
::<math>\lambda x. sleep'(x)</math>
| |||