关于性质判断的逻辑否定演算——改进形式逻辑教材的内容叙述探讨之二

摘要

本文循着莱布尼茨将逻辑数学化的思路,把A、E、I、O、K、F这六种不同内在形式的性质判断完全符号化,并用逻辑否定演算方法,将它们相互间在逻辑矛盾关系上的内在联系和相互转化的规律,全部揭示出来了。并由此指出:在传统逻辑教材中,把A与O、E与I、I与E、O与A视作是等值关系是不恰当的,它们相互间其实应该是相等关系。