輸入需要查詢的詞語:
詞條:現代邏輯
xian dai luo ji
數理邏輯和應用數理邏輯而形成的邏輯系統。其基本特點是形式化,就是用一套特製的表意符號去表示概念、判斷、推理,獲得它們的形式結構,從而把對概念、判斷、推理的研究轉化為對形式系統中符號的研究。