符號邏輯

這是一種像代數運算數字一樣處理思想的語言。它已在需要異常精確和經濟推理的實際問題中得到顯著的成功應用