|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
RegularArgumentList
AddAxiom
AddSenctence
AddAxiom
ApplySenctence
ElementaryEquivalence
ElementaryEquivalence
Generalization
HypotheticalSyllogism
LeftAddition
LeftAdditionConjunction
RightAdditionImplication
RightAdditionImplication
LinkReference
ModusPonens
Particularization
RenameBoundSubjectVariable
RenameFreeSubjectVariable
ReplacePredicate
ReplacePropositonVariable
ReverseAbbreviation
ReverseImplication
RightAddition
RightAdditionConjunction
RightAdditionImplication
RightAdditionImplication
HypotheticalSyllogism
UseAbbreviation
A[x]
-----------
A[y]
A[x]
x is free in A[x]
y is not bound in A[x]
----------------------
A[y]
A[R(x,y,z)]
formula F(x,y,z)
------------------
A[F(x,y,z)]
A[p]
formula F
-----------
A[F]
A1
---------
A0
Argument
.Argument
out of an TextInput
object.
Argument
out of an TextInput
object.
Argument
out of an TextInput
object.
Argument
out of an TextInput
object.
Argument
out of an TextInput
object.
Argument
out of an TextInput
object.
Argument.equals(java.lang.Object)
argument
with a Argument.copy()
of replacement
.
variables
with its content.
occurrence
-th occurence of
searchPattern
with replacePattern
.
search
in text
by replace
and returns the result.
search
in text
by replace
and returns the result.
occurrence
-th occurence of a bound
SubjectVariable
by another one.
searchPattern
with
replacePattern
.
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |