詞語解釋

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

⒈  數(shù)理邏輯。

國語辭典

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

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