PMII - 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 UseAbbreviation.extendWithout(Module module, ProofLineList proofLines, int position)
           
 ProofLineList Particularization.extendWithout(Module module, ProofLineList proofLines, int position)
           
 ProofLineList ReplacePropositionVariable.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 LeftAdditionImplication.extendWithout(Module module, ProofLineList proofLines, int position)
          Return proof lines that could replace the proof line position.
 ProofLineList RenameBoundSubjectVariable.extendWithout(Module module, ProofLineList proofLines, int 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 SubstLine.extendWithout(Module module, ProofLineList proofLines, int position)
          Return proof lines that could replace the proof line position.
 ProofLineList Generalization.extendWithout(Module module, ProofLineList proofLines, int position)
           
 ProofLineList LeftAdditionEquivalence.extendWithout(Module module, ProofLineList proofLines, int position)
          Return proof lines that could replace the proof line position.
 ProofLineList ConjunctionRule.extendWithout(Module module, ProofLineList proofLines, int position)
           
 ProofLineList RenameFreeSubjectVariable.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.
 ProofLineList ReplacePredicateVariable.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 AddSentence.extendWithout(Module module, ProofLineList proofLines, int position)
           
 ProofLineList AddAxiom.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 ModusPonens.extendWithout(Module module, ProofLineList proofLines, int 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 LeftAdditionConjunction.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 RightAdditionImplication.extendWithout(Module module, ProofLineList proofLines, int position)
          Return proof lines that could replace the proof line position.
 ProofLineList LeftAddition.extendWithout(Module module, ProofLineList proofLines, int position)
          Return proof lines that could replace the proof line position.
 ProofLineList ElementaryEquivalence.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 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 Particularization.check(Module module, ProofLineList proofLines, int position, Formula formula)
          Check if proof could be extended with formula because of modus ponens.
 ProofLineList Particularization.extendWithout(Module module, ProofLineList proofLines, int 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 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 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 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 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 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 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 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 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 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 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.
 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 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 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 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 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 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 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 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 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 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 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 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.
 


PMII - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.