12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 01:48, 23 January 2009
, 01:48, 23 January 2009→Stretching Exercises: mathemtical markup
Taking up the preceding arrays of particular connections, namely, the boolean functions on two or less variables, it possible to illustrate the use of the stretch operation in a variety of concrete cases.
Taking up the preceding arrays of particular connections, namely, the boolean functions on two or less variables, it possible to illustrate the use of the stretch operation in a variety of concrete cases.
For example, suppose that <math>F\!</math> is a connection of the form <math>F : \underline\mathbb{B}^2 \to \underline\mathbb{B},</math> that is, any one of the sixteen possibilities in Table 17, while <math>p\!</math> and <math>q\!</math> are propositions of the form <math>p, q : X \to \underline\mathbb{B},</math> that is, propositions about things in the universe <math>X,\!</math> or else the indicators of sets contained in <math>X.\!</math>
<pre>
<pre>
Then one has the imagination #f# = <f_1, f_2> = <p, q> : (X -> %B%)^2,
Then one has the imagination #f# = <f_1, f_2> = <p, q> : (X -> %B%)^2,
and the stretch of the connection F to #f# on X amounts to a proposition
and the stretch of the connection F to #f# on X amounts to a proposition