12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 15:54, 13 November 2012
, 15:54, 13 November 2012→6.28. The Bridge : From Obstruction to Opportunity: markup
There are two methods for attempting to disentangle this confusion that are generally tried, the first more rarely, the second quite frequently, though apparently in opposite proportion to their respective chances of actual success. In order to describe the rationales of these methods I need to introduce a number of technical concepts.
There are two methods for attempting to disentangle this confusion that are generally tried, the first more rarely, the second quite frequently, though apparently in opposite proportion to their respective chances of actual success. In order to describe the rationales of these methods I need to introduce a number of technical concepts.
Suppose <math>P\!</math> and <math>Q\!</math> are dyadic relations, with <math>P \subseteq X \times Y\!</math> and <math>Q \subseteq Y \times Z.\!</math> Then the ''contension'' of <math>P\!</math> and <math>Q\!</math> is a triadic relation <math>R \subseteq X \times Y \times Z\!</math> that is notated as <math>R = P\!\!\And\!\!Q\!</math> and defined as follows:
<pre>
<pre>
P&Q = {<x, y, z> C XxYxZ : <x, y> C P and <y, z> C Q}.
P&Q = {<x, y, z> C XxYxZ : <x, y> C P and <y, z> C Q}.