⒈ ?數(shù)理邏輯和應用數(shù)理邏輯而形成的邏輯系統(tǒng)。其基本特點是形式化,就是用一套特制的表意符號去表示概念、判斷、推理,獲得它們的形式結構,從而把對概念、判斷、推理的研究轉化為對形式系統(tǒng)中符號的研究。
上一篇:《蕭涼》
下一篇:《望氛》
Copyright ? 2022-2024 顧邦查字典 | 贛ICP備17010294號-1