Hostname: page-component-78c5997874-94fs2 Total loading time: 0 Render date: 2024-11-14T07:45:30.222Z Has data issue: false hasContentIssue false
  • English
  • Français

Some Calculations in Logic

Published online by Cambridge University Press:  03 November 2016

C. C. H. Barker
C. C. H. Barker*
Affiliation:
University College, Bangor
Get access Rights & Permissions [Opens in a new window]

Extract

The traditional two-valued logical calculus is concerned with propositions and their truth-values, true or false. Since the work of George Boole (1) these truth-values have been associated with the symbols 1, 0 respectively. If p denotes a proposition we use the same symbol p to denote its truth-value; thus if p is true we write p = 1 and if p is false we write p = 0. Then derived propositions such as “not p”, “p and q” have them selves truth-values which depend on those of p, q and are thus functions of the truth-values p, q.

Type
Research Article
Information
The Mathematical Gazette , Volume 41 , Issue 336 , May 1957 , pp. 108 - 111
Copyright
Copyright © Mathematical Association 1957

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. Boole, George The Laws of Thought (1854).Google Scholar
2. Stone, M. H. “The Theory of Representations for Boolean Algebras”, Trans. American Math. Soc, 40 (1936), 37.CrossRefGoogle Scholar
3. Lewis, C. I. and Langford, C. H. Symbolic Logic (New York, 1932).Google Scholar