12,089
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 15:30, 16 April 2012
, 15:30, 16 April 2012→6.4. A Formal Point of View: TeX
Dual to the statements of momentary interpretive distinctions (MIDs) are the respective statements of momentary interpretive coincidences (MICs):
Dual to the statements of momentary interpretive distinctions (MIDs) are the respective statements of momentary interpretive coincidences (MICs):
<pre>
{| align="center" style="text-align:center" width="90%"
| width="33%" | <math>j : x = y\!</math>
| width="33%" | <math>x =_j y\!</math>
| width="33%" | <math>x = y : j\!</math>
</pre>
|-
| <math>j : x \Leftrightarrow y</math>
| <math>x \Leftrightarrow_j y</math>
| <math>x \Leftrightarrow y : j</math>
|-
| <math>j : ((x ~,~ y))\!</math>
| <math>((x ~,~ y))_j\!</math>
| <math>((x ~,~ y)) : j\!</math>
|}
Each of these expressions is intended to indicate a set of circumstances that could otherwise be rendered by any one of the following, logically equivalent statements:
Each of these expressions is intended to indicate a set of circumstances that could otherwise be rendered by any one of the following, logically equivalent statements: