MyWikiBiz, Author Your Legacy — Wednesday November 27, 2024
Jump to navigationJump to search
98 bytes added
, 16:50, 14 November 2012
Line 8,312: |
Line 8,312: |
| |} | | |} |
| | | |
− | <pre>
| |
| 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. |
Line 8,323: |
Line 8,325: |
| 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. |