|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ProofLineList | |
com.meyling.principia.logic.paragraph | |
com.meyling.principia.logic.rule |
Uses of ProofLineList in com.meyling.principia.logic.paragraph |
Methods in com.meyling.principia.logic.paragraph with parameters of type ProofLineList | |
void |
Proposition.replaceProofLineByProofLines(ProofLineList proofLines,
int position)
Replace a single proof line by some (other) proof lines. |
Uses of ProofLineList in com.meyling.principia.logic.rule |
Methods in com.meyling.principia.logic.rule that return ProofLineList | |
ProofLineList |
LeftAdditionConjunction.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
ProofLineList |
RenameFreeSubjectVariable.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
ProofLineList |
ConjunctionRule.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
ProofLineList |
SubstLine.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
ProofLineList |
ReplacePropositionVariable.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
ProofLineList |
ReverseImplication.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
ProofLineList |
Rule.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
ProofLineList |
RightAddition.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
ProofLineList |
AddSentence.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
ProofLineList |
LeftAddition.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
ProofLineList |
RightAdditionImplication.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
ProofLineList |
LeftAdditionImplication.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
ProofLineList |
ReplacePredicateVariable.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
ProofLineList |
RenameBoundSubjectVariable.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
ProofLineList |
AddAxiom.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
ProofLineList |
Generalization.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
ProofLineList |
Particularization.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
ProofLineList |
ApplySentence.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
ProofLineList |
ApplyAxiom.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
ProofLineList |
HypotheticalSyllogism.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
ProofLineList |
ReverseAbbreviation.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
ProofLineList |
ElementaryEquivalence.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
ProofLineList |
UseAbbreviation.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
ProofLineList |
RightAdditionEquivalence.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
ProofLineList |
LeftAdditionEquivalence.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
ProofLineList |
ModusPonens.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
ProofLineList |
RightAdditionConjunction.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
Methods in com.meyling.principia.logic.rule with parameters of type ProofLineList | |
void |
LeftAdditionConjunction.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of left addition of a conjunction. |
ProofLineList |
LeftAdditionConjunction.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
RenameFreeSubjectVariable.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula by replacing a free subject variable of a proof line by another subject variable. |
ProofLineList |
RenameFreeSubjectVariable.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
void |
ConjunctionRule.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of conjunction rule. |
ProofLineList |
ConjunctionRule.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
void |
SubstLine.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula .
|
ProofLineList |
SubstLine.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
ReplacePropositionVariable.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula if the proposition variable is replaced by the formula of the constructor. |
ProofLineList |
ReplacePropositionVariable.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
void |
ReverseImplication.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of reversing an implication. |
ProofLineList |
ReverseImplication.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
Rule.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula (using the arguments of rule). |
ProofLineList |
Rule.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
RightAddition.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of right addition. |
ProofLineList |
RightAddition.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
AddSentence.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula. |
ProofLineList |
AddSentence.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
void |
LeftAddition.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of left addition. |
ProofLineList |
LeftAddition.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
RightAdditionImplication.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of right addition of a implication. |
ProofLineList |
RightAdditionImplication.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
LeftAdditionImplication.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of right addition of a implication. |
ProofLineList |
LeftAdditionImplication.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
ReplacePredicateVariable.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula if replacing the predicate variable by the formula of the constructor. |
ProofLineList |
ReplacePredicateVariable.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
void |
RenameBoundSubjectVariable.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula by replacing a bound subject variable of a proof line by another subject variable at a certain occurance. |
ProofLineList |
RenameBoundSubjectVariable.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
void |
AddAxiom.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula .
|
ProofLineList |
AddAxiom.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
void |
Generalization.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of modus ponens. |
ProofLineList |
Generalization.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
void |
Particularization.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with a formula because of modus ponens. |
ProofLineList |
Particularization.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
void |
ApplySentence.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula .
|
ProofLineList |
ApplySentence.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
ApplyAxiom.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula .
|
ProofLineList |
ApplyAxiom.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
HypotheticalSyllogism.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of hypothetical syllogism. |
ProofLineList |
HypotheticalSyllogism.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
ReverseAbbreviation.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula. |
ProofLineList |
ReverseAbbreviation.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
void |
ElementaryEquivalence.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula. |
ProofLineList |
ElementaryEquivalence.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
UseAbbreviation.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula. |
ProofLineList |
UseAbbreviation.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
void |
RightAdditionEquivalence.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of right addition of a implication. |
ProofLineList |
RightAdditionEquivalence.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
LeftAdditionEquivalence.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of right addition of a implication. |
ProofLineList |
LeftAdditionEquivalence.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
void |
ModusPonens.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of modus ponens. |
ProofLineList |
ModusPonens.extendWithout(Module module,
ProofLineList proofLines,
int position)
|
void |
RightAdditionConjunction.check(Module module,
ProofLineList proofLines,
int position,
Formula formula)
Check if proof could be extended with formula because of right addition of a conjunction. |
ProofLineList |
RightAdditionConjunction.extendWithout(Module module,
ProofLineList proofLines,
int position)
Return proof lines that could replace the proof line position . |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |