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 problem of the novelist who wishes to write about a man’s encounter with God is how he shall make the experience—which is both natural and supernatural—understandable, and credible, to his reader. In any age this would be a problem, but in our own, it is a well- nigh insurmountable one. Today’s audience is one in which religious feeling has become, if not atrophied, at least vaporous and sentimental.”
—Flannery O’Connor (1925–1964)