12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 16:50, 14 November 2012
, 16:50, 14 November 2012→6.28. The Bridge : From Obstruction to Opportunity: markup
|}
|}
In other words:
In other words:
P.Q = {<x, z> C XxZ : <x, y> C P and <y, z> C Q}.
{| align="center" cellspacing="8" width="90%"
| <math>P \circ Q ~=~ \{ (x, z) \in X \times Z : (x, y) \in P ~\text{and}~ (y, z) \in Q \}.\!</math>
|}
Using these notions, the customary methods for disentangling a many to many relation can be explained as follows:
<pre>
Using these notions, the customary methods for disentangling a many-to-many relation can be explained as follows:
1.
1.
2.
2.
In the logic of the ancients, the many to one relation of things to general names ...
In the logic of the ancients, the many-to-one relation of things to general names ...
In early approaches to mathematical logic, from Leibniz to Peirce and Frege, one ordinarily spoke of the extensions and intensions of concepts.
In early approaches to mathematical logic, from Leibniz to Peirce and Frege, one ordinarily spoke of the extensions and intensions of concepts.