|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
PatternVariable
if not already there.
abbreviationLabel
.
PatternVariable
s to the set?
---------
A0
axiomLabel
.
---------
A0
sentenceLabel
.
A1 => A2
A3
---------
A4
if A1 => A2 matches A3 => A4 A1 => A2
A3
---------
A4
if A1 => A2 matches A3 => A4Argument
.
|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |