2)a是aa(重言律);(3)a是a(同一原则);(4)ab是a或ab是b(化简原则);(5)如a是b且b是c,则a是c(传递原则)。以此为据,他证明了同一和包含两个逻辑系词之间的重要关系,即,如a是b且b是a,则a与b是同一的。进而,他又提出四个定理:(1)如a是b且a是c,则a是bc;(2)如a是bc,则a是b且a(10/24)下页上页返回列表 返回