#deduction

3pages tagged with "deduction"

reasoning

inference rules— formal rules of logical inference - the valid patterns for deriving conclusions from premises
modus ponens— affirming the antecedent - the fundamental inference rule of conditional reasoning
modus tollens— denying the consequent - reasoning backwards from failed outcomes to eliminate possibilities