Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Class
com.meyling.principia.logic.paragraph.ProofLineList

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

©left GNU General Public Licence
All Rights Reserved.