<philosophical terminology> A formal system of symbolic logic concerned with compound statements formed by the use of truth-functional logical connectives. Recommended Reading: Richard L. Epstein, Propositional Logics: The Semantic Foundations of Logic (Wadsworth, 2000); Hans Kleine Buning and Theodor Lettman, Propositional Logic: Deduction and Algorithms (Cambridge, 1999); and Howard Pospesel and William G. Lycan, Introduction to Logic: Propositional Logic (Prentice Hall, 1999).
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google