Application of semantic propositional calculus determines validity of categorical syllogisms in logic, suggesting new educational methods.
A description is provided of how to use the Semantic Propositional Calculus (SPC) for a clear, compact notation that can be applied to approachdiverse topics in logic and mathematics. With two equivalent formulations (one corresponding to set theory and the other to the SPC), it is possible to determine the validity – or invalidity – of the categorical syllogisms. The parallel use of the SPC (preserving the syntax of the propositional calculus) and of resources from set theory facilitates learning in an area of logic and an area of mathematics. The joint learning of diverse branches of the same discipline, or of distinct disciplines which are closely related in different ways, is an essential aspect of the STA.
No takes yet. Share an insight, caveat, or question.
Skliar et al. (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: