传统逻辑的集合论诠释

本文利用集合代数表达式,简要地解释了传统逻辑的命题结构和直接推理,并着重对三段论作了直捷的推演。