關于我們
書單推薦
新書推薦
|
中國表示法及其邏輯研究 讀者對象:本書適用于相關研究人員
本書在H.M.Sheffer和張清宇先生等人工作的基礎上,提出了一種創(chuàng)新型的邏輯符號表示法——中國表示法。在其中僅僅使用一對括號,就可以在一個公式中同時表示出所有的命題聯結詞、量詞、模態(tài)詞和時態(tài)詞等邏輯常項,由此可以極大地簡化構建邏輯系統所需的初始聯結詞。本書闡述了中國表示法區(qū)別于其他表示法的整體性特征,證明了中國表示法的結構唯一性及其強大的表達功能,基于中國表示法探究了若干邏輯基礎問題,獲得了若干創(chuàng)新性成果。
你還可能感興趣
我要評論
|