詞語(yǔ)解釋

符號(hào)邏輯[ fú hào luó ji ]

⒈  數(shù)理邏輯。

國(guó)語(yǔ)辭典

符號(hào)邏輯[ fú hào luó jí ]

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