Natural deduction has calculus {sequent calculus}. Statement sequence gives reasoning chain and conclusion {sequent, reasoning}. Stating simple statements {basic sequent} in natural deductions starts premise or conclusion.
rules
Rules {introduction rule} can allow operation to make more complex formulas from simpler ones. Rules {elimination rule} can allow inference from complex formulas to simpler formulas. The reductio-ad-absurdum rule eliminates hypotheses. Sequent-calculus proofs can be truth-trees or truth-tables, which always eliminate formulas {cut elimination theorem, sequent}.
Mathematical Sciences>Logic>Applications
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224