My tags: sample

With this tag

• 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)