Abstract
Natural deduction is a formal inference system which is said naturally to mirror the way in which humans reason. A natural deduction system consists of rules of inference eliminating and introducing each of the connectives and quantifiers of the predicate calculus. There are twelve rules which may be used to infer conclusions. Two examples of such rules are given below:
The rule on the left is that to eliminate the → connective and that on the right to introduce it.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Reference
Tennant, N. Natural Logic. Edinburgh University Press, Edinburgh. 1978.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bundy, A., Wallen, L. (1984). Natural Deduction. In: Bundy, A., Wallen, L. (eds) Catalogue of Artificial Intelligence Tools. Symbolic Computation. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-96868-6_153
Download citation
DOI: https://doi.org/10.1007/978-3-642-96868-6_153
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13938-6
Online ISBN: 978-3-642-96868-6
eBook Packages: Springer Book Archive