A Lattice-Diagram for the Propositional Calculus
J. L. Evenden · The Mathematical Gazette · 1962
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.