punctilious_obsolete_20240114
latest
Front matter
Math
Python
Prerequisites
Installation
Source code repository
Class
Class diagram
AbsorptionDeclaration
AbsorptionInclusion
BiconditionalElimination1Declaration
BiconditionalElimination1Inclusion
BiconditionalElimination2Declaration
BiconditionalElimination2Inclusion
BiconditionalIntroductionDeclaration
BiconditionalIntroductionInclusion
ConjunctionElimination1Declaration
ConjunctionElimination1Inclusion
ConjunctionElimination2Declaration
ConjunctionElimination2Inclusion
ConjunctionIntroductionDeclaration
ConjunctionIntroductionInclusion
ConstructiveDilemmaDeclaration
ConstructiveDilemmaInclusion
DestructiveDilemmaDeclaration
DestructiveDilemmaInclusion
DisjunctionIntroduction1Declaration
DisjunctionIntroduction1Inclusion
DisjunctionIntroduction2Declaration
DisjunctionIntroduction2Inclusion
DisjunctiveResolutionDeclaration
DisjunctiveResolutionInclusion
DisjunctiveSyllogism1Declaration
DisjunctiveSyllogism1Inclusion
DisjunctiveSyllogism2Declaration
DisjunctiveSyllogism2Inclusion
DoubleNegationEliminationDeclaration
DoubleNegationEliminationInclusion
DoubleNegationIntroductionDeclaration
DoubleNegationIntroductionInclusion
EqualTermsSubstitutionDeclaration
EqualTermsSubstitutionInclusion
EqualityCommutativityDeclaration
EqualityCommutativityInclusion
FreeVariable
HypotheticalSyllogismDeclaration
HypotheticalSyllogismInclusion
InconsistencyIntroduction1Declaration
InconsistencyIntroduction1Inclusion
InconsistencyIntroduction2Declaration
InconsistencyIntroduction2Inclusion
InconsistencyIntroduction3Declaration
InconsistencyIntroduction3Inclusion
InferenceRuleDeclaration
InferenceRuleDeclarationAccretor
InferenceRuleInclusion
InferenceRuleInclusionCollection
ModusPonensDeclaration
ModusPonensInclusion
ModusTollensDeclaration
ModusTollensInclusion
ProofByContradiction1Declaration
ProofByContradiction1Inclusion
ProofByContradiction2Declaration
ProofByContradiction2Inclusion
ProofByRefutation1Declaration
ProofByRefutation1Inclusion
ProofByRefutation2Declaration
ProofByRefutation2Inclusion
UniverseOfDiscourse
VariableSubstitutionDeclaration
VariableSubstitutionInclusion
Function
Sample
Back matter
punctilious_obsolete_20240114
Python
Python classes
InferenceRuleInclusionCollection (python class)
Edit on GitHub
Tags:
inference-rule
inclusion
class
python
collection
InferenceRuleInclusionCollection (python class)