莱布尼兹命题10中的逻辑加及其转换性命题10+ -逻辑与算法之十四

莱布尼兹命题10中的逻辑加及其转换性命题10+ -逻辑与算法之十四 片断20中的命题10，依然是有关逻辑加的定理，且看莱布尼兹如何处理。 我们面前呈现两个等量公式，先将两公式左边的符号，运算逻辑加。然后，将公式右边的符号，同样运算逻辑加。这两次运算逻辑加的结果，可以用等号连接，因为它们相同。 这应该是同一法则的另一种情形，比命题9复杂一些。本篇的篇幅容量，大概只能处理这个命题及其证明了。估计也只能

>>阅读原文<<