词项逻辑新探

传统逻辑是把单称命题排除在对当关系之外的。可是研究发现,单称命题是完全可以存在于对当关系之中的。此外,通常对三段论规则的证明有些地方比较模糊,应当予以澄清。