My tags: math
With this tag
- bound-variable
- free-variable
- variable
- absorption (math concept)
- axiom-interpretation (math concept)
- biconditional-elimination-1 (math concept)
- biconditional-elimination-2 (math concept)
- biconditional-introduction (math concept)
- conjunction-elimination-1 (math concept)
- conjunction-elimination-2 (math concept)
- conjunction-introduction (math concept)
- constructive-dilemma (math concept)
- definition-interpretation (math concept)
- destructive-dilemma (math concept)
- disjunction-introduction-1 (math concept)
- disjunction-introduction-2 (math concept)
- disjunctive-resolution (math concept)
- disjunctive-syllogism-1 (math concept)
- disjunctive-syllogism-2 (math concept)
- double-negation-elimination (math concept)
- double-negation-introduction (math concept)
- equal-terms-substitution (math concept)
- equality-commutativity (math concept)
- hypothetical-syllogism (math concept)
- inconsistency-introduction-1 (math concept)
- inconsistency-introduction-2 (math concept)
- inconsistency-introduction-3 (math concept)
- modus-ponens (math concept)
- modus-tollens (math concept)
- proof-by-contradiction-1 (math concept)
- proof-by-contradiction-2 (math concept)
- proof-by-refutation-1 (math concept)
- proof-by-refutation-2 (math concept)
- variable-substitution (math concept)