My tags: inclusion

With this tag

• AbsorptionInclusion (python class)
• AxiomInterpretationInclusion (python class)
• BiconditionalElimination1Inclusion (python class)
• BiconditionalElimination2Inclusion (python class)
• BiconditionalIntroductionInclusion (python class)
• ConjunctionElimination1Inclusion (python class)
• ConjunctionElimination2Inclusion (python class)
• ConjunctionIntroductionInclusion (python class)
• ConstructiveDilemmaInclusion (python class)
• DefinitionInterpretationInclusion (python class)
• DestructiveDilemmaInclusion (python class)
• DisjunctionIntroduction1Inclusion (python class)
• DisjunctionIntroduction2Inclusion (python class)
• DisjunctiveResolutionInclusion (python class)
• DisjunctiveSyllogism1Inclusion (python class)
• DisjunctiveSyllogism2Inclusion (python class)
• DoubleNegationEliminationInclusion (python class)
• DoubleNegationIntroductionInclusion (python class)
• EqualTermsSubstitutionInclusion (python class)
• EqualityCommutativityInclusion (python class)
• HypotheticalSyllogismInclusion (python class)
• InconsistencyIntroduction1Inclusion (python class)
• InconsistencyIntroduction2Inclusion (python class)
• InconsistencyIntroduction3Inclusion (python class)
• InferenceRuleInclusionCollection (python class)
• InferenceRuleInclusion (python class)
• ModusPonensInclusion (python class)
• ModusTollensInclusion (python class)
• ProofByContradiction1Inclusion (python class)
• ProofByContradiction2Inclusion (python class)
• ProofByRefutation1Inclusion (python class)
• ProofByRefutation2Inclusion (python class)
• VariableSubstitutionInclusion (python class)