12,080
edits
Changes
→Logic of Relatives
|
|
| <math>Y\!</math>
| <math>Y\!</math>
|}
<br>
{| align="center" cellspacing="6" width="90%"
| align="center" |
<pre>
Table 18. Relational Composition P o Q
o---------o---------o---------o---------o
| # !1! | !1! | !1! |
o=========o=========o=========o=========o
| P # X | Y | |
o---------o---------o---------o---------o
| Q # | Y | Z |
o---------o---------o---------o---------o
| P o Q # X | | Z |
o---------o---------o---------o---------o
</pre>
|}
<br>
{| align="center" cellpadding="10" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center; width:60%"
|+ '''Table 18. Relational Composition P o Q'''
|-
| style="border-right:1px solid black; border-bottom:1px solid black; width:25%" |
| style="border-bottom:1px solid black; width:25%" | <math>\mathit{1}\!</math>
| style="border-bottom:1px solid black; width:25%" | <math>\mathit{1}\!</math>
| style="border-bottom:1px solid black; width:25%" | <math>\mathit{1}\!</math>
|-
| style="border-right:1px solid black" | <math>P\!</math>
| <math>X\!</math>
| <math>Y\!</math>
|
|-
| style="border-right:1px solid black" | <math>Q\!</math>
|
| <math>Y\!</math>
| <math>Z\!</math>
|-
| style="border-right:1px solid black" | <math>P \circ Q</math>
| <math>X\!</math>
|
| <math>Z\!</math>
|}
|}