|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
Conjunction
A1
A2
---------
A1 & A2
Number
.
formula
.
formula
.
formula
.
formula
.
variable
in the set?
PatternVariable
s in the set?
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
.
orgin
to next
.
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |