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