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

A Lattice-Diagram for the Propositional Calculus

Published online by Cambridge University Press:  03 November 2016

John Evenden
John Evenden*
Affiliation:
95, The Birches, Three Bridges, Sussex
Get access Rights & Permissions [Opens in a new window]

Extract

Boolean class algebra is a special case of lattice theory and it is well known that the propositional calculus is Boolean. It is also well known that there are sixteen and only sixteen truth functionally distinct relationships between two elementary propositions in the pronositional calculus.

Type
Research Article
Information
The Mathematical Gazette , Volume 46 , Issue 356 , May 1962 , pp. 119 - 122
Copyright
Copyright © Mathematical Association 1962

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

page 119 note * The arrows are reverse-wise to the direction of lattice inclusion, but (as will be seen) they are in the direction of formal implication.