|
||||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | |||||||||
M>} |- {<(S|P) ==> M>, <(S&P) ==> M>, <(S-P) ==> M>, <(P-S) ==> M>}
S>} |- P>
Produce an Inheritance/Implication from a reversed Inheritance/Implication
P>} |- P>
{ P>} |- P>
Switch between Inheritance/Implication and Similarity/Equivalence
|
||||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | |||||||||