⒈ 數(shù)理邏輯。
⒈ 一種邏輯。不限名詞和命題,將其關(guān)系用數(shù)學(xué)符號(hào)表達(dá),而以數(shù)學(xué)運(yùn)算的方式,據(jù)以推斷論證命題的結(jié)果,有執(zhí)簡(jiǎn)衘繁的功效。