“經(jīng)典邏輯”的別稱。與“非標準邏輯”相對。泛指基于二值外延邏輯系統(tǒng)(系統(tǒng)中的每一變項和公式至少而且至多在真、假二值中取一)的命題邏輯、謂詞邏輯、關系邏輯、數(shù)學邏輯(模型論、集合論、遞歸論、證明論)等等。 (本文共 101 字 ) [閱讀本文] >>
海量資源,盡在掌握
 “經(jīng)典邏輯”的別稱。與“非標準邏輯”相對。泛指基于二值外延邏輯系統(tǒng)(系統(tǒng)中的每一變項和公式至少而且至多在真、假二值中取一)的命題邏輯、謂詞邏輯、關系邏輯、數(shù)學邏輯(模型論、集合論、遞歸論、證明論)等等。 (本文共 101 字 ) [閱讀本文] >>