|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
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.
RegularArgumentList
A[x]
-----------
A[y]
A[x]
x is free in A[x]
y is not bound in A[x]
----------------------
A[y]
Argument.equals(java.lang.Object)
argument
with a Argument.copy()
of replacement
.
occurrence
-th occurence of
searchPattern
with replacePattern
.
variables
with its content.
search
in text
by replace
and returns the result.
occurrence
-th occurence of a bound
SubjectVariable
by another one.
searchPattern
with
replacePattern
.
A[R(x,y,z)]
formula F(x,y,z)
------------------
A[F(x,y,z)]
A[p]
formula F
-----------
A[F]
A1
---------
A0
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
Argument
.
|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |