In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning. This contrasts with the axiomatic systems which instead use axioms as much as possible to express the logical laws of deductive reasoning.
Read more about Natural Deduction: Motivation, Judgments and Propositions, Introduction and Elimination, Hypothetical Derivations, Consistency, Completeness, and Normal Forms, First and Higher-order Extensions, Proofs and Type-theory, Classical and Modal Logics
Famous quotes containing the word natural:
“The Reverend Samuel Peters ... exaggerated the Blue Laws, but they did include “Capital Lawes” providing a death penalty for any child over sixteen who was found guilty of cursing or striking his natural parents; a death penalty for an incorrigible son; a law forbidding smoking except in a room in a private house; another law declaring smoking illegal except on a journey five miles away from home,...”
—Administration for the State of Con, U.S. public relief program (1935-1943)