Hostname: page-component-cd9895bd7-mkpzs Total loading time: 0 Render date: 2024-12-26T07:06:48.588Z Has data issue: false hasContentIssue false
  • English
  • Français

An Arithmetic Method in Symbolic Logic

Published online by Cambridge University Press:  03 November 2016

John D. Baum
John D. Baum*
Affiliation:
Oberlin College, Ohio 44074, U.S.A.
Get access Rights & Permissions [Opens in a new window]

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
The Mathematical Gazette , Volume 56 , Issue 396 , May 1972 , pp. 91 - 95
Copyright
Copyright © Mathematical Association 1972

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1. Stoll, Robert R.: Sets, Logic and Axiomatic Theories, San Francisco (1961).Google Scholar