My tags: python

With this tag

• AbsorptionDeclaration (python class)
• AbsorptionInclusion (python class)
• AxiomInterpretationDeclaration (python class)
• AxiomInterpretationInclusion (python class)
• BiconditionalElimination1Declaration (python class)
• BiconditionalElimination1Inclusion (python class)
• BiconditionalElimination2Declaration (python class)
• BiconditionalElimination2Inclusion (python class)
• BiconditionalIntroductionDeclaration (python class)
• BiconditionalIntroductionInclusion (python class)
• Class diagram
• ConjunctionElimination1Declaration (python class)
• ConjunctionElimination1Inclusion (python class)
• ConjunctionElimination2Declaration (python class)
• ConjunctionElimination2Inclusion (python class)
• ConjunctionIntroductionDeclaration (python class)
• ConjunctionIntroductionInclusion (python class)
• ConstructiveDilemmaDeclaration (python class)
• ConstructiveDilemmaInclusion (python class)
• DefinitionInterpretationDeclaration (python class)
• DefinitionInterpretationInclusion (python class)
• DestructiveDilemmaDeclaration (python class)
• DestructiveDilemmaInclusion (python class)
• DisjunctionIntroduction1Declaration (python class)
• DisjunctionIntroduction1Inclusion (python class)
• DisjunctionIntroduction2Declaration (python class)
• DisjunctionIntroduction2Inclusion (python class)
• DisjunctiveResolutionDeclaration (python class)
• DisjunctiveResolutionInclusion (python class)
• DisjunctiveSyllogism1Declaration (python class)
• DisjunctiveSyllogism1Inclusion (python class)
• DisjunctiveSyllogism2Declaration (python class)
• DisjunctiveSyllogism2Inclusion (python class)
• DoubleNegationEliminationDeclaration (python class)
• DoubleNegationEliminationInclusion (python class)
• DoubleNegationIntroductionDeclaration (python class)
• DoubleNegationIntroductionInclusion (python class)
• EqualTermsSubstitutionDeclaration (python class)
• EqualTermsSubstitutionInclusion (python class)
• EqualityCommutativityDeclaration (python class)
• EqualityCommutativityInclusion (python class)
• Variable (python class)
• HypotheticalSyllogismDeclaration (python class)
• HypotheticalSyllogismInclusion (python class)
• InconsistencyIntroduction1Declaration (python class)
• InconsistencyIntroduction1Inclusion (python class)
• InconsistencyIntroduction2Declaration (python class)
• InconsistencyIntroduction2Inclusion (python class)
• InconsistencyIntroduction3Declaration (python class)
• InconsistencyIntroduction3Inclusion (python class)
• InferenceRuleDeclarationAccretor (python class)
• InferenceRuleDeclaration (python class)
• InferenceRuleInclusionCollection (python class)
• InferenceRuleInclusion (python class)
• InferredStatement (python class)
• ModusPonensDeclaration (python class)
• ModusPonensInclusion (python class)
• ModusTollensDeclaration (python class)
• ModusTollensInclusion (python class)
• ProofByContradiction1Declaration (python class)
• ProofByContradiction1Inclusion (python class)
• ProofByContradiction2Declaration (python class)
• ProofByContradiction2Inclusion (python class)
• ProofByRefutation1Declaration (python class)
• ProofByRefutation1Inclusion (python class)
• ProofByRefutation2Declaration (python class)
• ProofByRefutation2Inclusion (python class)
• UniverseOfDiscourse (python class)
• VariableSubstitutionDeclaration (python class)
• VariableSubstitutionInclusion (python class)
• absorption (python sample)
• axiom-interpretation (python sample)
• biconditional-elimination-1 (python sample)
• biconditional-elimination-2 (python sample)
• biconditional-introduction (python sample)
• conjunction-elimination-1 (python sample)
• conjunction-elimination-2 (python sample)
• conjunction-introduction (python sample)
• constructive-dilemma (python sample)
• definition-interpretation (python sample)
• destructive-dilemma (python sample)
• disjunction-introduction-1 (python sample)
• disjunction-introduction-2 (python sample)
• disjunctive-resolution (python sample)
• disjunctive-syllogism-1 (python sample)
• disjunctive-syllogism-2 (python sample)
• double-negation-elimination (python sample)
• double-negation-introduction (python sample)
• equal-terms-substitution (python sample)
• equality-commutativity (python sample)
• variable (python sample)
• hypothetical-syllogism (python sample)
• inconsistency-introduction-1 (python sample)
• inconsistency-introduction-2 (python sample)
• inconsistency-introduction-3 (python sample)
• modus-ponens (python sample)
• modus-tollens (python sample)
• proof-by-contradiction-1 (python sample)
• proof-by-contradiction-2 (python sample)
• proof-by-refutation-1 (python sample)
• proof-by-refutation-2 (python sample)
• variable-substitution (python sample)