利用數(shù)學(xué)方法研究邏輯規(guī)律的科學(xué)。又稱邏輯代數(shù)、開(kāi)關(guān)代數(shù)。取一個(gè)形式符號(hào)系統(tǒng),其中有常符號(hào)0,1,一元函數(shù)符號(hào)“-”:二元函數(shù)符號(hào)“+”;以及關(guān)于這組符號(hào)的形式公理系統(tǒng)A1:x+y=y+x,x·y=y·x;A2:x+(y·z)=(x+y)·(x+z),x·(y+z)=x·y+x·z;A3:x+ (本文共 532 字 ) [閱讀本文] >>