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:
“Unfortunately there is still a cultural stereotype that it’s all right for girls to be affectionate but that once boys reach six or seven, they no longer need so much hugging and kissing. What this does is dissuade boys from expressing their natural feelings of tenderness and affection. It is important that we act affectionately with our sons as well as our daughters.”
—Stephanie Martson (20th century)