APP “經(jīng)典邏輯”的別稱。與“非標(biāo)準(zhǔn)邏輯”相對。泛指基于二值外延邏輯系統(tǒng)(系統(tǒng)中的每一變項和公式至少而且至多在真、假二值中取一)的命題邏輯、謂詞邏輯、關(guān)系邏輯、數(shù)學(xué)邏輯(模型論、集合論、遞歸論、證明論)等等。 （本文共 101 字 ） [閱讀本文] >>
海量資源，盡在掌握
“經(jīng)典邏輯”的別稱。與“非標(biāo)準(zhǔn)邏輯”相對。泛指基于二值外延邏輯系統(tǒng)(系統(tǒng)中的每一變項和公式至少而且至多在真、假二值中取一)的命題邏輯、謂詞邏輯、關(guān)系邏輯、數(shù)學(xué)邏輯(模型論、集合論、遞歸論、證明論)等等。 （本文共 101 字 ） [閱讀本文] >>
說明： 本文檔由創(chuàng)作者上傳發(fā)布，版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán)，請點擊申訴舉報
