Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
natural deduction
English Wikipedia - The Free Encyclopedia
Download this dictionary
Natural deduction
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
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License