莱布尼兹逻辑加与包含关系命题13-21——逻辑与算法之十六

莱布尼兹逻辑加与包含关系命题13-21——逻辑与算法之十六 命题13-命题21是逻辑加命题的延续，逻辑加与包含关系融汇其中，我们按照片断的顺序，开始命题13-21的理解。 命题13：如果L⊕B=L，那么B在L中。 如果任意词项附加到另一个词项，并不改变另一个词项，那么，这个所附加的词项就在另一个词项之中。 证明： 1.B在L⊕B之中（依据定义4，包含的定义） L⊕B=L（依据假设） 3.以L替换L

>>阅读原文<<