標(biāo)準(zhǔn)邏輯

“經(jīng)典邏輯”的別稱。與“非標(biāo)準(zhǔn)邏輯”相對(duì)。泛指基于二值外延邏輯系統(tǒng)(系統(tǒng)中的每一變項(xiàng)和公式至少而且至多在真、假二值中取一)的命題邏輯、謂詞邏輯、關(guān)系邏輯、數(shù)學(xué)邏輯(模型論、集合論、遞歸論、證明論)等等。 ......    （本文共 101 字 ）     [閱讀本文] >>