教育部《重編國語辭典修訂本》

一種邏輯。不限名詞和命題，將其關係用數學符號表達，而以數學運算的方式，據以推斷論證命題的結果，有執簡銜繁的功效。