萊布尼茲邏輯加與包含關係命題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

>>阅读原文<<