12,089
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday September 07, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 14:10, 15 April 2013
, 14:10, 15 April 2013→6.37. Propositional Types: markup
{| align="center" cellspacing="8" width="90%"
{| align="center" cellspacing="8" width="90%"
| <math>\texttt{(} S \texttt{)} ~=~ -\!S ~=~ X_i - S\!</math>
| <math>\texttt{(} S \texttt{)} ~=~ -\!S ~=~ X_j - S\!</math>
|}
|}
In case of ambiguities that are not resolved by context, indices may be used as follows.
{| align="center" cellspacing="8" width="90%"
| <math>\texttt{(} S \texttt{)}_j ~=~ X_j - S\!</math>
|}
In any case, the intended term can always be written out in full, as <math>X_j - S.\!</math>
<h3 align="center">Fragments</h3>
<pre>
<pre>
R : (S(T)).
R : (S(T)).
Finally, the set of triples of dyadic relations, with pairwise cartesian products chosen in a pre arranged order from a collection of three sets {X, Y, Z}, is called the "dyadic explosion" of {X, Y, Z}. This object is denoted as "Explo (X, Y, Z; 2)", read as the "explosion of XxYxZ by 2s" or simply as "X, Y, Z, choose 2", and is defined as follows:
Finally, the set of triples of dyadic relations, with pairwise cartesian products chosen in a pre arranged order from a collection of three sets {X, Y, Z}, is called the "dyadic explosion" of {X, Y, Z}. This object is denoted as "Explo (X, Y, Z; 2)", read as the "explosion of XxYxZ by 2s" or simply as "X, Y, Z, choose 2", and is defined as follows:
