Python classes
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