是c；（3）如a是b，则ac是bc；（4）如a是b且c是d，则ac是bd。由此可见，莱布尼茨在第一阶段的逻辑演算已相当完善和科学化，为逻辑的系统化打下了坚实的基础。　　第二阶段，莱布尼茨用等式符号作系词符号，借公式a=by表述全称肯定命题（y为一未确定的系数，用以修饰b而使b成为a的一部分），同时提出双重否定之为肯定，
(11/24)
下页
上页
返回列表
返回