Logic {natural deduction} can have only inference rules, with no axioms. It reaches results but is not about truth. Natural deduction uses sequent calculus. Basic sequent statements are premises or conclusions. Statement sequence shows reasoning chain and conclusion. Introduction rules make more-complex formulas from simpler ones. Elimination rules change complex formulas to simpler formulas. Proofs and truth-trees eliminate formulas by reductio ad absurdum {cut elimination theorem, natural deduction}.
Mathematical Sciences>Logic>Reasoning>Deduction
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224