A Structural Approach for the Concurrent Teaching of Introductory Propositional Calculus and Set Theory

A presentation is provided of a structural approach for the concur rent teaching of introductory propositional calculus and set theory. The existence of isomorphism is shown between each law (or tautology) of propositional calculus and the form of a corresponding set which is equal to the universal set U considered.