|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
formula
.
formula
.
formula
.
formula
.
Conjunction
A1
A2
---------
A1 & A2
variable
in the set?
PatternVariable
s in the set?
Number
.
Argument
.
Argument
.
SubjectVariable
by a
BasicSubjectVariablePatternVariable
,
every PropositionVariable
by a
BasicFormulaPatternVariable
and TODO not yet:
every PredicateVariable
by a
BasicPredicateVariablePatternVariable
.
orgin
to next
.
orgin
to next
.
|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |