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:
“There are several natural phenomena which I shall have to have explained to me before I can keep on going as a resident member of the human race. One is the metamorphosis which hats and suits undergo exactly one week after their purchase, whereby they are changed from smart, intensely becoming articles of apparel into something children use when they want to “dress up like daddy.””
—Robert Benchley (1889–1945)