({ Clicking on a green or brown colored
Method displays or hides the
Application of that
Method, and also displays or hides another Method or the
Reason in that
Paragraph. })
(^ CrossUnion ^)
[- Partial difference -]
({ Part of the difference between a thing +a and a thing +b
is the thing whose features are all the features of +a that are not
features of +b. This will be called the partial difference of
+a and +b, and represented by +pd// +a +b. })
| +Df |
+Pd |
[a [b [c = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b |
| +1 |
+Ex |
) - [a [b [c = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b
[b [c = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b |
| +2 |
+Ab/ +1 |
) - +Pd [b [c = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b |
| +3 |
+Ex |
) - [b [c = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b
[c = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b |
| +4 |
+Tb// +2 +3 |
) - +Pd [c = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b |
| +5 |
+Ex |
) - [c = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b
= +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b |
| +Pd1 | +Pr | +Tb// +4 +5 |
) - +Pd = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b |
({ The relation of being the same is transmitted for the partial difference. })
| +1 |
+Ex |
) - [a ) - +Pd = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b ) - +Pd = +ft// +c +pd// +g +b ( +ft// +c +g - +ft// +c +b |
| +2 |
+Gn/ +Pd1 |
[a ) - +Pd = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b |
| +1 | +Rp/ +Pd1 | +Tb// +1 +2 |
) - +Pd = +ft// +c +pd// +g +b ( +ft// +c +g - +ft// +c +b |
| +1 |
+Ex |
) - [b ) - +sm// +a +b = +ft// +c +a +ft// +c +b ) - +sm// +a +g = +ft// +c +a +ft// +c +g |
| +2 |
+Gn/ +Sm2 |
[b ) - +sm// +a +b = +ft// +c +a +ft// +c +b |
| +2 | +Rp/ +Sm2 | +Tb// +1 +2 |
) - +sm// +a +g = +ft// +c +a +ft// +c +g |
| +3 |
+Tb/// +2 +Pd1 +1 |
) - ( +Pd +sm// +a +g = +ft// +c +pd// +a +b +ft// +c +pd// +g +b |
| +4 |
+Gn/ +3 |
[c ) - ( +Pd +sm// +a +g = +ft// +c +pd// +a +b +ft// +c +pd// +g +b |
| +5 |
+Fc/ +4 |
) - ( +Pd +sm// +a +g [c = +ft// +c +pd// +a +b +ft// +c +pd// +g +b |
| +6 |
+Tb/ +5 |
) - +Pd ) - +sm// +a +g [c = +ft// +c +pd// +a +b +ft// +c +pd// +g +b |
| +Pd2 | +Pr | +Ab/ +6 |
) - +Pd ) - +sm// +a +g +sm// +pd// +a +b +pd// +g +b |
| +1 |
+Ex |
) - [b ) - +sm// +a +b = +ft// +c +a +ft// +c +b ) - +sm// +a +g = +ft// +c +a +ft// +c +g |
| +2 |
+Gn/ +Sm2 |
[b ) - +sm// +a +b = +ft// +c +a +ft// +c +b |
| +1 | +Rp/ +Sm2 | +Tb// +1 +2 |
) - +sm// +a +g = +ft// +c +a +ft// +c +g |
| +1a |
+Ex |
) - [a ) - +sm// +a +g = +ft// +c +a +ft// +c +g ) - +sm// +b +g = +ft// +c +b +ft// +c +g |
| +2 |
+Gn/ +1 |
[a ) - +sm// +a +g = +ft// +c +a +ft// +c +g |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - +sm// +b +g = +ft// +c +b +ft// +c +g |
| +1 |
+Ex |
) - [b ) - +Pd = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b ) - +Pd = +ft// +c +pd// +a +g ( +ft// +c +a - +ft// +c +g |
| +2 |
+Gn/ +Pd1 |
[b ) - +Pd = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b |
| +3 | +Rp/ +Pd1 | +Tb// +1 +2 |
) - +Pd = +ft// +c +pd// +a +g ( +ft// +c +a - +ft// +c +g |
| +4 |
+Tb/// +Pd1 +2 +3 |
) - ( +Pd +sm// +b +g = +ft// +c +pd// +a +b +ft// +c +pd// +a +g |
| +5 |
+Gn/ +4 |
[c ) - ( +Pd +sm// +b +g = +ft// +c +pd// +a +b +ft// +c +pd// +a +g |
| +6 |
+Fc/ +5 |
) - ( +Pd +sm// +b +g [c = +ft// +c +pd// +a +b +ft// +c +pd// +a +g |
| +7 |
+Tb/ +6 |
) - +Pd ) - +sm// +b +g [c = +ft// +c +pd// +a +b +ft// +c +pd// +a +g |
| +Pd3 | +Pr | +Ab/ +7 |
) - +Pd ) - +sm// +b +g +sm// +pd// +a +b +pd// +a +g |
({ The partial difference between a thing and itself is +0. })
| +1 |
+Ex |
) - [b ) - +Pd = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b ) - +Pd = +ft// +c +pd// +a +a ( +ft// +c +a - +ft// +c +a |
| +2 |
+Gn/ +Pd1 |
[b ) - +Pd = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b |
| +1 | +Rp/ +Pd1 | +Tb// +1 +2 |
) - +Pd = +ft// +c +pd// +a +a ( +ft// +c +a - +ft// +c +a |
| +2 |
+Tb/ +1 |
) - +Pd - +ft// +c +pd// +a +a |
| +3 |
+Gn/ +2 |
[c ) - +Pd - +ft// +c +pd// +a +a |
| +4 |
+Fc/ +3 |
) - +Pd [c - +ft// +c +pd// +a +a |
| +1 |
+Ex |
) - [a ) - +Nf = +sm// +a +0 [c - +ft// +c +a ) - +Nf = +sm// +pd// +a +a +0 [c - +ft// +c +pd// +a +a |
| +2 |
+Gn/ +Nf3 |
[a ) - +Nf = +sm// +a +0 [c - +ft// +c +a |
| +5 | +Rp/ +Nf3 |
+Tb// +1 +2 |
) - +Nf = +sm// +pd// +a +a +0 [c - +ft// +c +pd// +a +a |
| +Pd4 | +Pr | +Tb// +4 +5 |
) - ( +Nf +Pd +sm// +pd// +a +a +0 |
[- Intersection -]
| +Df |
+in// +a +b |
+pd// +a +pd// +a +b |
({ The features of +in// +a +b are the common features of
+a and +b. })
| +1 |
+Ex |
) - [b ) - +Pd = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b ) - +Pd = +ft// +c +pd// +a +pd// +a +b ( +ft// +c +a - +ft// +c +pd// +a +b |
| +2 |
+Gn/ +Pd1 |
[b ) - +Pd = +ft// +c +pd// +a +b ( +ft// +c +a - +ft// +c +b |
| +1 | +Rp/ +Pd1 |
+Tb// +1 +2 |
) - +Pd = +ft// +c +pd// +a +pd// +a +b ( +ft// +c +a - +ft// +c +pd// +a +b |
| +2 |
+Ab/ +1 |
) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a - +ft// +c +pd// +a +b |
| +3 |
+Tb// +Pd1 +2 |
) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a - ( +ft// +c +a - +ft// +c +b |
| +In1 | +Pr | +Tb/ +3 |
) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a +ft// +c +b |
({ +in// +a +b is symmetrical. })
| +1 |
+Ex |
) - [b ) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a +ft// +c +b ) - +Pd = +ft// +c +in// +a +g ( +ft// +c +a +ft// +c +g |
| +2 |
+Gn/ +In1 |
[b ) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a +ft// +c +b |
| +1 | +Rp/ +In1 | +Tb// +1 +2 |
) - +Pd = +ft// +c +in// +a +g ( +ft// +c +a +ft// +c +g |
| +1a |
+Ex |
) - [a ) - +Pd = +ft// +c +in// +a +g ( +ft// +c +a +ft// +c +g ) - +Pd = +ft// +c +in// +b +g ( +ft// +c +b +ft// +c +g |
| +2 |
+Gn/ +1 |
[a ) - +Pd = +ft// +c +in// +a +g ( +ft// +c +a +ft// +c +g |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - +Pd = +ft// +c +in// +b +g ( +ft// +c +b +ft// +c +g |
| +1 |
+Ex |
) - [g ) - +Pd = +ft// +c +in// +b +g ( +ft// +c +b +ft// +c +g ) - +Pd = +ft// +c +in// +b +a ( +ft// +c +b +ft// +c +a |
| +2a |
+Gn/ +2 |
[g ) - +Pd = +ft// +c +in// +b +g ( +ft// +c +b +ft// +c +g |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - +Pd = +ft// +c +in// +b +a ( +ft// +c +b +ft// +c +a |
| +4 |
+Tb// +In1 +3 |
) - +Pd = +ft// +c +in// +a +b +ft// +c +in// +b +a |
| +5 |
+Gn/ +4 |
[c ) - +Pd = +ft// +c +in// +a +b +ft// +c +in// +b +a |
| +6 |
+Fc/ +5 |
) - +Pd [c = +ft// +c +in// +a +b +ft// +c +in// +b +a |
| +In2 | +Pr | +Ab/ +6 |
) - +Pd +sm// +in// +a +b +in// +b +a |
({ The relation of being the same is transmitted for intersections. })
| +1 |
+Ex |
) - [a ) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a +ft// +c +b ) - +Pd = +ft// +c +in// +d +b ( +ft// +c +d +ft// +c +b |
| +2 |
+Gn/ +In1 |
[a ) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a +ft// +c +b |
| +1 | +Rp/ +In1 | +Tb// +1 +2 |
) - +Pd = +ft// +c +in// +d +b ( +ft// +c +d +ft// +c +b |
| +1 |
+Ex |
) - [b ) - +sm// +a +b = +ft// +c +a +ft// +c +b ) - +sm// +a +d = +ft// +c +a +ft// +c +d |
| +2 |
+Gn/ +Sm2 |
[b ) - +sm// +a +b = +ft// +c +a +ft// +c +b |
| +2 | +Rp/ +Sm2 | +Tb// +1 +2 |
) - +sm// +a +d = +ft// +c +a +ft// +c +d |
| +3 |
+Tb/// +In1 +1 +2 |
) - ( +Pd +sm// +a +d = +ft// +c +in// +a +b +ft// +c +in// +d +b |
| +4 |
+Gn/ +3 |
[c ) - ( +Pd +sm// +a +d = +ft// +c +in// +a +b +ft// +c +in// +d +b |
| +5 |
+Fc/ +4 |
) - ( +Pd +sm// +a +d [c = +ft// +c +in// +a +b +ft// +c +in// +d +b |
| +6 |
+Ab/ +5 |
) - ( +Pd +sm// +a +d +sm// +in// +a +b +in// +d +b |
| +In3 | +Pr | +Tb/ +6 |
) - +Pd ) - +sm// +a +d +sm// +in// +a +b +in// +d +b |
| +1 |
+Ex |
) - [b ) - +sm// +a +b = +ft// +c +a +ft// +c +b ) - +sm// +a +d = +ft// +c +a +ft// +c +d |
| +2 |
+Gn/ +Sm2 |
[b ) - +sm// +a +b = +ft// +c +a +ft// +c +b |
| +1 | +Rp/ +Sm2 | +Tb// +1 +2 |
) - +sm// +a +d = +ft// +c +a +ft// +c +d |
| +1a |
+Ex |
) - [a ) - +sm// +a +d = +ft// +c +a +ft// +c +d ) - +sm// +b +d = +ft// +c +b +ft// +c +d |
| +2 |
+Gn/ +1 |
[a ) - +sm// +a +d = +ft// +c +a +ft// +c +d |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - +sm// +b +d = +ft// +c +b +ft// +c +d |
| +1 |
+Ex |
) - [b ) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a +ft// +c +b ) - +Pd = +ft// +c +in// +a +d ( +ft// +c +a +ft// +c +d |
| +2 |
+Gn/ +In1 |
[b ) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a +ft// +c +b |
| +3 | +Rp/ +In1 | +Tb// +1 +2 |
) - +Pd = +ft// +c +in// +a +d ( +ft// +c +a +ft// +c +d |
| +4 |
+Tb/// +In1 +2 +3 |
) - ( +Pd +sm// +b +d = +ft// +c +in// +a +b +ft// +c +in// +a +d |
| +5 |
+Gn/ +4 |
[c ) - ( +Pd +sm// +b +d = +ft// +c +in// +a +b +ft// +c +in// +a +d |
| +6 |
+Fc/ +5 |
) - ( +Pd +sm// +b +d [c = +ft// +c +in// +a +b +ft// +c +in// +a +d |
| +7 |
+Ab/ +6 |
) - ( +Pd +sm// +b +d +sm// +in// +a +b +in// +a +d |
| +In4 | +Pr | +Tb/ +7 |
) - +Pd ) - +sm// +b +d +sm// +in// +a +b +in// +a +d |
[- Being a part -]
({ The statement that +a is part of +b is an abbreviation of the
statement that every feature of +a is a feature of +b. })
| +Df |
+pt// +a +b |
[c ) - +ft// +c +a +ft// +c +b |
({ A thing is part of itself. })
| +1 |
+Tb |
) - +ft// +c +a +ft// +c +a |
| +2 |
+Gn/ +1 |
[c ) - +ft// +c +a +ft// +c +a |
| +Pt1 | +Pr | +Ab/ +2 |
+pt// +a +a |
| +1 |
+Ex |
) - [c ) - +ft// +c +a +ft// +c +b ) - +ft// +c +a +ft// +c +b |
| +Pt2 | +Pr | +Ab/ +1 |
) - +pt// +a +b ) - +ft// +c +a +ft// +c +b |
({ The relation of being a part is transmitted. })
| +1 |
+Ex |
) - [c = +ft// +c +a +ft// +c +d = +ft// +c +a +ft// +c +d |
| +2 |
+Ab/ +1 |
) - +sm// +a +d = +ft// +c +a +ft// +c +d |
| +3 |
+Tb// +Pt2 +2 |
) - ( +pt// +a +b +sm// +a +d ) - +ft// +c +d +ft// +c +b |
| +4 |
+Gn/ +3 |
[c ) - ( +pt// +a +b +sm// +a +d ) - +ft// +c +d +ft// +c +b |
| +5 |
+Fc/ +4 |
) - ( +pt// +a +b +sm// +a +d [c ) - +ft// +c +d +ft// +c +b |
| +Pt3 | +Pr | +Ab/ +5 |
) - ( +pt// +a +b +sm// +a +d +pt// +d +b |
| +1 |
+Ex |
) - [c = +ft// +c +a +ft// +c +d = +ft// +c +a +ft// +c +d |
| +2 |
+Ab/ +1 |
) - +sm// +a +d = +ft// +c +a +ft// +c +d |
| +1 |
+Ex |
) - [a ) - +sm// +a +d = +ft// +c +a +ft// +c +d ) - +sm// +b +d = +ft// +c +b +ft// +c +d |
| +2a |
+Gn/ +2 |
[a ) - +sm// +a +d = +ft// +c +a +ft// +c +d |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - +sm// +b +d = +ft// +c +b +ft// +c +d |
| +4 |
+Tb// +Pt2 +3 |
) - ( +pt// +a +b +sm// +b +d ) - +ft// +c +a +ft// +c +d |
| +5 |
+Gn/ +4 |
[c ) - ( +pt// +a +b +sm// +b +d ) - +ft// +c +a +ft// +c +d |
| +6 |
+Fc/ +5 |
) - ( +pt// +a +b +sm// +b +d [c ) - +ft// +c +a +ft// +c +d |
| +Pt4 | +Pr | +Ab/ +6 |
) - ( +pt// +a +b +sm// +b +d +pt// +a +d |
({ If two things are parts of each other, then they are the same. })
| +1 |
+Ex |
) - [c ) - +ft// +c +b +ft// +c +a ) - +ft// +c +b +ft// +c +a |
| +2 |
+Ab/ +1 |
) - +pt// +b +a ) - +ft// +c +b +ft// +c +a |
| +3 |
+Tb// +Pt2 +2 |
) - ( +pt// +a +b +pt// +b +a = +ft// +c +a +ft// +c +b |
| +4 |
+Gn/ +3 |
[c ) - ( +pt// +a +b +pt// +b +a = +ft// +c +a +ft// +c +b |
| +5 |
+Fc/ +4 |
) - ( +pt// +a +b +pt// +b +a [c = +ft// +c +a +ft// +c +b |
| +Pt5 | +Pr | +Ab/ +5 |
) - ( +pt// +a +b +pt// +b +a +sm// +a +b |
({ A part of a part of a thing is part of that thing. })
| +1 |
+Ex |
) - [b ) - +pt// +a +b ) - +ft// +c +a +ft// +c +b ) - +pt// +a +d ) - +ft// +c +a +ft// +c +d |
| +2 |
+Gn/ +Pt2 |
[b ) - +pt// +a +b ) - +ft// +c +a +ft// +c +b |
| +1 | +Rp/ +Pt2 | +Tb// +1 +2 |
) - +pt// +a +d ) - +ft// +c +a +ft// +c +d |
| +1a |
+Ex |
) - [a ) - +pt// +a +d ) - +ft// +c +a +ft// +c +d ) - +pt// +b +d ) - +ft// +c +b +ft// +c +d |
| +2 |
+Gn/ +1 |
[a ) - +pt// +a +d ) - +ft// +c +a +ft// +c +d |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - +pt// +b +d ) - +ft// +c +b +ft// +c +d |
| +3 |
+Tb// +Pt2 +2 |
) - ( +pt// +a +b +pt// +b +d ) - +ft// +c +a +ft// +c +d |
| +4 |
+Gn/ +3 |
[c ) - ( +pt// +a +b +pt// +b +d ) - +ft// +c +a
+ft// +c +d |
| +5 |
+Fc/ +4 |
) - ( +pt// +a +b +pt// +b +d [c ) - +ft// +c +a
+ft// +c +d |
| +Pt6 | +Pr | +Ab/ +5 |
) - ( +pt// +a +b +pt// +b +d +pt// +a +d |
| +1 |
+Tb/ +Un1 |
) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +ft// +c +a +ft// +c +un// +a +b |
| +2 |
+Gn/ +1 |
[c ) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +ft// +c +a +ft// +c +un// +a +b |
| +3 |
+Fc/ +2 |
) - ( +Th ( +Am ( +ft/ +a +ft/ +b [c ) - +ft// +c +a +ft// +c +un// +a +b |
| +Pt7 | +Pr | +Ab/ +3 |
) - ( +Th ( +Am ( +ft/ +a +ft/ +b +pt// +a +un// +a +b |
| +1 |
+Tb/ +Un1 |
) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +ft// +c +b +ft// +c +un// +a +b |
| +2 |
+Gn/ +1 |
[c ) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +ft// +c +b +ft// +c +un// +a +b |
| +3 |
+Fc/ +2 |
) - ( +Th ( +Am ( +ft/ +a +ft/ +b [c ) - +ft// +c +b +ft// +c +un// +a +b |
| +Pt8 | +Pr | +Ab/ +3 |
) - ( +Th ( +Am ( +ft/ +a +ft/ +b +pt// +b +un// +a +b |
| +1 |
+Tb/ +In1 |
) - +Pd ) - +ft// +c +in// +a +b +ft// +c +a |
| +2 |
+Gn/ +1 |
[c ) - +Pd ) - +ft// +c +in// +a +b +ft// +c +a |
| +3 |
+Fc/ +2 |
) - +Pd [c ) - +ft// +c +in// +a +b +ft// +c +a |
| +Pt9 | +Pr | +Ab/ +3 |
) - +Pd +pt// +in// +a +b +a |
| +1 |
+Tb/ +In1 |
) - +Pd ) - +ft// +c +in// +a +b +ft// +c +b |
| +2 |
+Gn/ +1 |
[c ) - +Pd ) - +ft// +c +in// +a +b +ft// +c +b |
| +3 |
+Fc/ +2 |
) - +Pd [c ) - +ft// +c +in// +a +b +ft// +c +b |
| +Pt10 | +Pr | +Ab/ +3 |
) - +Pd +pt// +in// +a +b +b |
| +1 |
+Ex |
) - [a ) - ( +pt// +a +b +pt// +b +d +pt// +a +d ) - ( +pt// +in// +a +b +b +pt// +b +d +pt// +in// +a +b +d |
| +2 |
+Gn/ +Pt6 |
[a ) - ( +pt// +a +b +pt// +b +d +pt// +a +d |
| +1 | +Rp/ +Pt6 | +Tb// +1 +2 |
) - ( +pt// +in// +a +b +b +pt// +b +d +pt// +in// +a +b +d |
| +1a |
+Ex |
) - [d ) - ( +pt// +in// +a +b +b +pt// +b +d +pt// +in// +a +b +d ) - ( +pt// +in// +a +b +b +pt// +b +un// +a +b +pt// +in// +a +b +un// +a +b |
| +2 |
+Gn/ +1 |
[d ) - ( +pt// +in// +a +b +b +pt// +b +d +pt// +in// +a +b +d |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - ( +pt// +in// +a +b +b +pt// +b +un// +a +b +pt// +in// +a +b +un// +a +b |
| +Pt11 | +Pr | +Tb/// +Pt8 +Pt10 +2 |
) - ( +Th ( +Am ( +Pd ( +ft/ +a +ft/ +b +pt// +in// +a +b +un// +a +b |
| +1 |
+Tb// +Un1 +Pt2 |
) ) - ( +Th ( +Am ( +ft/ +a +ft/ +b - +pt// +a +b = +ft// +c +un// +a +b +ft// +c +b |
| +2 |
+Gn/ +1 |
[c ) ) - ( +Th ( +Am ( +ft/ +a +ft/ +b - +pt// +a +b = +ft// +c +un// +a +b +ft// +c +b |
| +3 |
+Fc/ +2 |
) ) - ( +Th ( +Am ( +ft/ +a +ft/ +b - +pt// +a +b [c = +ft// +c +un// +a +b +ft// +c +b |
| +4 |
+Ab/ +3 |
) ) - ( +Th ( +Am ( +ft/ +a +ft/ +b - +pt// +a +b +sm// +un// +a +b +b |
| +Pt12 | +Pr | +Tb/ +4 |
) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +pt// +a +b +sm// +un// +a +b +b |
| +1 |
+Ex |
) - [a ) - ( +sm// +b +a +sm// +b +d +sm// +a +d ) - ( +sm// +b +e +sm// +b +d +sm// +e +d |
| +2 |
+Gn/ +Sm6 |
[a ) - ( +sm// +b +a +sm// +b +d +sm// +a +d |
| +1 | +Rp/ +Sm6 | +Tb// +1 +2 |
) - ( +sm// +b +e +sm// +b +d +sm// +e +d |
| +1a |
+Ex |
) - [b ) - ( +sm// +b +e +sm// +b +d +sm// +e +d ) - ( +sm// +un// +a +b +e +sm// +un// +a +b +d +sm// +e +d |
| +2 |
+Gn/ +1 |
[b ) - ( +sm// +b +e +sm// +b +d +sm// +e +d |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - ( +sm// +un// +a +b +e +sm// +un// +a +b +d +sm// +e +d |
| +1 |
+Ex |
) - [e ) - ( +sm// +un// +a +b +e +sm// +un// +a +b +d +sm// +e +d ) - ( +sm// +un// +a +b +un// +b +a +sm// +un// +a +b +d +sm// +un// +b +a +d |
| +2a |
+Gn/ +2 |
[e ) - ( +sm// +un// +a +b +e +sm// +un// +a +b +d +sm// +e +d |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +sm// +un// +a +b +un// +b +a +sm// +un// +a +b +d +sm// +un// +b +a +d |
| +1 |
+Ex |
) - [d ) - ( +sm// +un// +a +b +un// +b +a +sm// +un// +a +b +d +sm// +un// +b +a +d ) - ( +sm// +un// +a +b +un// +b +a +sm// +un// +a +b +b +sm// +un// +b +a +b |
| +2 |
+Gn/ +3 |
[d ) - ( +sm// +un// +a +b +un// +b +a +sm// +un// +a +b +d +sm// +un// +b +a +d |
| +4 | +Rp/ +3 | +Tb// +1 +2 |
) - ( +sm// +un// +a +b +un// +b +a +sm// +un// +a +b +b +sm// +un// +b +a +b |
| +Pt13 | +Pr | +Tb/// +Un2 +Pt12 +4 |
) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +pt// +a +b +sm// +un// +b +a +b |
| +1 |
+Ex |
) - [a ) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a +ft// +c +b ) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a +ft// +c +b |
| +2 |
+Gn/ +In1 |
[a ) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a +ft// +c +b |
| +1 | +Rp/ +In1 | +Tb// +1 +2 |
) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a +ft// +c +b |
| +1a |
+Ex |
) - [b ) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a +ft// +c +b ) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a +ft// +c +b |
| +2 |
+Gn/ +1 |
[b ) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a +ft// +c +b |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - +Pd = +ft// +c +in// +a +b ( +ft// +c +a +ft// +c +b |
| +3 |
+Tb// +Pt2 +2 |
) ) - +Pd - +pt// +a +b = +ft// +c +in// +a +b +ft// +c +a |
| +4 |
+Gn/ +3 |
[c ) ) - +Pd - +pt// +a +b = +ft// +c +in// +a +b +ft// +c +a |
| +5 |
+Fc/ +4 |
) ) - +Pd - +pt// +a +b [c = +ft// +c +in// +a +b +ft// +c +a |
| +6 |
+Ab/ +5 |
) ) - +Pd - +pt// +a +b +sm// +in// +a +b +a |
| +Pt14 | +Pr | +Tb/ +6 |
) - +Pd ) - +pt// +a +b +sm// +in// +a +b +a |
| +1 |
+Ex |
) - [a ) - ( +sm// +b +a +sm// +b +d +sm// +a +d ) - ( +sm// +b +e +sm// +b +d +sm// +e +d |
| +2 |
+Gn/ +Sm6 |
[a ) - ( +sm// +b +a +sm// +b +d +sm// +a +d |
| +1 | +Rp/ +Sm6 | +Tb// +1 +2 |
) - ( +sm// +b +e +sm// +b +d +sm// +e +d |
| +1a |
+Ex |
) - [b ) - ( +sm// +b +e +sm// +b +d +sm// +e +d ) - ( +sm// +in// +a +b +e +sm// +in// +a +b +d +sm// +e +d |
| +2 |
+Gn/ +1 |
[b ) - ( +sm// +b +e +sm// +b +d +sm// +e +d |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - ( +sm// +in// +a +b +e +sm// +in// +a +b +d +sm// +e +d |
| +1 |
+Ex |
) - [e ) - ( +sm// +in// +a +b +e +sm// +in// +a +b +d +sm// +e +d ) - ( +sm// +in// +a +b +in// +b +a +sm// +in// +a +b +d +sm// +in// +b +a +d |
| +2a |
+Gn/ +2 |
[e ) - ( +sm// +in// +a +b +e +sm// +in// +a +b +d +sm// +e +d |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +sm// +in// +a +b +in// +b +a +sm// +in// +a +b +d +sm// +in// +b +a +d |
| +1 |
+Ex |
) - [d ) - ( +sm// +in// +a +b +in// +b +a +sm// +in// +a +b +d +sm// +in// +b +a +d ) - ( +sm// +in// +a +b +in// +b +a +sm// +in// +a +b +a +sm// +in// +b +a +a |
| +2 |
+Gn/ +3 |
[d ) - ( +sm// +in// +a +b +in// +b +a +sm// +in// +a +b +d +sm// +in// +b +a +d |
| +4 | +Rp/ +3 | +Tb// +1 +2 |
) - ( +sm// +in// +a +b +in// +b +a +sm// +in// +a +b +a +sm// +in// +b +a +a |
| +Pt15 | +Pr | +Tb/// +In2 +Pt14 +4 |
) - +Pd ) - +pt// +a +b +sm// +in// +b +a +a |
| +1 |
+Tb/ +Nf1 |
) - +Nf ) - +ft// +c +0 +ft// +c +a |
| +2 |
+Gn/ +1 |
[c ) - +Nf ) - +ft// +c +0 +ft// +c +a |
| +3 |
+Fc/ +2 |
) - +Nf [c ) - +ft// +c +0 +ft// +c +a |
| +Pt16 | +Pr | +Ab/ +3 |
) - +Nf +pt// +0 +a |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +pt// +a +b +sm// +un// +a +b +b ) - ( +Th ( +Am ( +ft/ +0 +ft/ +b ) - +pt// +0 +b +sm// +un// +0 +b +b |
| +2 |
+Gn/ +Pt12 |
[a ) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +pt// +a +b +sm// +un// +a +b +b |
| +1 | +Rp/ +Pt12 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +ft/ +0 +ft/ +b ) - +pt// +0 +b +sm// +un// +0 +b +b |
| +2 |
+Tb// +Nf4 +1 |
) - ( +Nf ( +Th ( +Am +ft/ +b ) - +pt// +0 +b +sm// +un// +0 +b +b |
| +1 |
+Ex |
) - [b ) - ( +Nf ( +Th ( +Am +ft/ +b ) - +pt// +0 +b +sm// +un// +0 +b +b ) - ( +Nf ( +Th ( +Am +ft/ +a ) - +pt// +0 +a +sm// +un// +0 +a +a |
| +2a |
+Gn/ +2 |
[b ) - ( +Nf ( +Th ( +Am +ft/ +b ) - +pt// +0 +b +sm// +un// +0 +b +b |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +Nf ( +Th ( +Am +ft/ +a ) - +pt// +0 +a +sm// +un// +0 +a +a |
| +Un8 | +Pr | +Tb// +Pt16 +3 |
) - ( +Nf ( +Th ( +Am +ft/ +a +sm// +un// +0 +a +a |
| +1 |
+Ex |
) - [a ) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +pt// +a +b +sm// +un// +b +a +b ) - ( +Th ( +Am ( +ft/ +0 +ft/ +b ) - +pt// +0 +b +sm// +un// +b +0 +b |
| +2 |
+Gn/ +Pt13 |
[a ) - ( +Th ( +Am ( +ft/ +a +ft/ +b ) - +pt// +a +b +sm// +un// +b +a +b |
| +1 | +Rp/ +Pt13 | +Tb// +1 +2 |
) - ( +Th ( +Am ( +ft/ +0 +ft/ +b ) - +pt// +0 +b +sm// +un// +b +0 +b |
| +2 |
+Tb// +Nf4 +1 |
) - ( +Nf ( +Th ( +Am +ft/ +b ) - +pt// +0 +b +sm// +un// +b +0 +b |
| +1 |
+Ex |
) - [b ) - ( +Nf ( +Th ( +Am +ft/ +b ) - +pt// +0 +b +sm// +un// +b +0 +b ) - ( +Nf ( +Th ( +Am +ft/ +a ) - +pt// +0 +a +sm// +un// +a +0 +a |
| +2a |
+Gn/ +2 |
[b ) - ( +Nf ( +Th ( +Am +ft/ +b ) - +pt// +0 +b +sm// +un// +b +0 +b |
| +3 | +Rp/ +2 | +Tb// +1 +2a |
) - ( +Nf ( +Th ( +Am +ft/ +a ) - +pt// +0 +a +sm// +un// +a +0 +a |
| +Un9 | +Pr | +Tb// +Pt16 +3 |
) - ( +Nf ( +Th ( +Am +ft/ +a +sm// +un// +a +0 +a |
| +1 |
+Ex |
) - [a ) - +Pd ) - +pt// +a +b +sm// +in// +a +b +a ) - +Pd ) - +pt// +0 +b +sm// +in// +0 +b +0 |
| +2 |
+Gn/ +Pt14 |
[a ) - +Pd ) - +pt// +a +b +sm// +in// +a +b +a |
| +1 | +Rp/ +Pt14 | +Tb// +1 +2 |
) - +Pd ) - +pt// +0 +b +sm// +in// +0 +b +0 |
| +1a |
+Ex |
) - [b ) - +Pd ) - +pt// +0 +b +sm// +in// +0 +b +0 ) - +Pd ) - +pt// +0 +a +sm// +in// +0 +a +0 |
| +2 |
+Gn/ +1 |
[b ) - +Pd ) - +pt// +0 +b +sm// +in// +0 +b +0 |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - +Pd ) - +pt// +0 +a +sm// +in// +0 +a +0 |
| +In5 | +Pr | +Tb// +Pt16 +2 |
) - ( +Nf +Pd +sm// +in// +0 +a +0 |
| +1 |
+Ex |
) - [a ) - +Pd ) - +pt// +a +b +sm// +in// +b +a +a ) - +Pd ) - +pt// +0 +b +sm// +in// +b +0 +0 |
| +2 |
+Gn/ +Pt15 |
[a ) - +Pd ) - +pt// +a +b +sm// +in// +b +a +a |
| +1 | +Rp/ +Pt15 | +Tb// +1 +2 |
) - +Pd ) - +pt// +0 +b +sm// +in// +b +0 +0 |
| +1a |
+Ex |
) - [b ) - +Pd ) - +pt// +0 +b +sm// +in// +b +0 +0 ) - +Pd ) - +pt// +0 +a +sm// +in// +a +0 +0 |
| +2 |
+Gn/ +1 |
[b ) - +Pd ) - +pt// +0 +b +sm// +in// +b +0 +0 |
| +2 | +Rp/ +1 | +Tb// +1a +2 |
) - +Pd ) - +pt// +0 +a +sm// +in// +a +0 +0 |
| +In6 | +Pr | +Tb// +Pt16 +2 |
) - ( +Nf +Pd +sm// +in// +a +0 +0 |
[- Proper part -]
({ The statement that +a is a proper part of +b is an
abbreviation of the statement that +a is part of +b, and
not the same as +b. })
| +Df |
+pp// +a +b |
( +pt// +a +b - +sm// +a +b |
(_ BeingFlush _)
({ The English and Verish text on this website is licensed for use under the
Free Software Foundation
Free Documentation
License, and the software is licensed for use under the
Free Software Foundation
General Public
License. })
({ Page last updated 25 May 2018.
Copyright (c) Chris Austin 1997 - 2018.
Privacy policy })