No CrossRef data available.
Article contents
An Arithmetic Method in Symbolic Logic
Published online by Cambridge University Press: 03 November 2016
Extract
It is part of the folklore of symbolic logic, and more specifically of the statement calculus, that there is an arithmetic method for determining the truth values of statements of that calculus. A brief survey of texts in logic reveals that the matter seems to be dealt with rarely if at all, and usually only as an exercise ([1], p. 76). It is the purpose of this article to draw the attention of the teachers of mathematics to this rather amusing sidelight of symbolic logic.
- Type
- Research Article
- Information
- Copyright
- Copyright © Mathematical Association 1972