一種邏輯。不限名詞和命題，將其關係用數學符號表達，而以數學運算的方式，據以推斷論證命題的結果，有執簡銜繁的功效。
《重編國語辭典修訂本》版本編號：2015_20251229
© 中華民國教育部 (Ministry of Education, R.O.C.)
使用說明