#deduction

3 pages 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