My tags: declaration

With this tag

• AbsorptionDeclaration (python class)
• AxiomInterpretationDeclaration (python class)
• BiconditionalElimination1Declaration (python class)
• BiconditionalElimination2Declaration (python class)
• BiconditionalIntroductionDeclaration (python class)
• ConjunctionElimination1Declaration (python class)
• ConjunctionElimination2Declaration (python class)
• ConjunctionIntroductionDeclaration (python class)
• ConstructiveDilemmaDeclaration (python class)
• DefinitionInterpretationDeclaration (python class)
• DestructiveDilemmaDeclaration (python class)
• DisjunctionIntroduction1Declaration (python class)
• DisjunctionIntroduction2Declaration (python class)
• DisjunctiveResolutionDeclaration (python class)
• DisjunctiveSyllogism1Declaration (python class)
• DisjunctiveSyllogism2Declaration (python class)
• DoubleNegationEliminationDeclaration (python class)
• DoubleNegationIntroductionDeclaration (python class)
• EqualTermsSubstitutionDeclaration (python class)
• EqualityCommutativityDeclaration (python class)
• HypotheticalSyllogismDeclaration (python class)
• InconsistencyIntroduction1Declaration (python class)
• InconsistencyIntroduction2Declaration (python class)
• InconsistencyIntroduction3Declaration (python class)
• InferenceRuleDeclarationAccretor (python class)
• InferenceRuleDeclaration (python class)
• ModusPonensDeclaration (python class)
• ModusTollensDeclaration (python class)
• ProofByContradiction1Declaration (python class)
• ProofByContradiction2Declaration (python class)
• ProofByRefutation1Declaration (python class)
• ProofByRefutation2Declaration (python class)
• VariableSubstitutionDeclaration (python class)