本文選題：經(jīng)典命題演算 + 真值��； 參考：《華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版)》1999年01期

【摘要】：自Ｌｕｋａｓｉｅｗｉｃｚ創(chuàng)立多值邏輯以來，人們普遍認(rèn)為經(jīng)典命題演算只是二值邏輯系統(tǒng)。然而，這種觀點(diǎn)實(shí)際上并不成立。本文用集合概念對邏輯學(xué)的基本概念“真值”作了精確定義，并以此區(qū)分了真值與真的概率，，由此給出了經(jīng)典命題演算的一般真值模型、有窮多值模型及無窮多值模型，并具體證明了可靠性定理和完全性定理，從理論上說明了經(jīng)典命題演算不僅存在二值邏輯系統(tǒng)，而且存在多值邏輯系統(tǒng)，不僅存在有窮多值邏輯系統(tǒng)，而且存在無窮多值邏輯系統(tǒng)。
[Abstract]:Since Lukasiewicz founded multivalued logic, it is generally considered that classical propositional calculus is only a binary logic system. However, this view does not actually hold true. In this paper, the basic concept of logic, "true value", is precisely defined by the concept of set, and the truth value is distinguished from the true probability. The general truth value model, the finite multivalued model and the infinite multivalued model of classical propositional calculus are given. The reliability theorem and the completeness theorem are proved in detail. It is theoretically proved that the classical propositional calculus has not only binary logic system, but also multi-valued logic system, not only finite multivalued logic system, but also finite multivalued logic system. And there are infinite valued logic systems.
【作者單位】： 河南師大政教系
【分類號(hào)】：B81

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 曹飛;經(jīng)典命題演算的多值模型[J];華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1999年01期

2 姚從軍;;模態(tài)命題邏輯系統(tǒng)K、D、T、S4、S5、B之比較[J];畢節(jié)學(xué)院學(xué)報(bào);2009年04期

3 桂起權(quán);;什么是次協(xié)調(diào)邏輯[J];思維與智慧;1988年04期

4 桂起權(quán),朱志方;次協(xié)調(diào)邏輯——辯證法的頂梁柱[J];江漢論壇;1988年12期

5 江正云;邏輯的方法與邏輯的困惑──談?wù)動(dòng)蓷l件句引申出的邏輯問題[J];常德師范學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);1995年04期

6 王國俊;一類代數(shù)上的邏輯學(xué)(Ⅰ)[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1997年01期

7 彭媚娟;胡澤洪;;關(guān)于弗協(xié)調(diào)邏輯的思考[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2008年01期

8 姚從軍;;古典命題邏輯與模態(tài)命題邏輯的形式系統(tǒng)之比較[J];畢節(jié)學(xué)院學(xué)報(bào);2009年10期

9 李小五;用帶測度函數(shù)的可能世界語義學(xué)解釋—?dú)w納認(rèn)知邏輯[J];自然辯證法研究;1993年02期

10 吳堅(jiān);;真值函項(xiàng)理論與怪論[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2010年06期

相關(guān)碩士學(xué)位論文 前2條

1 秦一男;經(jīng)典命題演算的能行方法研究[D];燕山大學(xué);2008年

2 羅智寧;汽車與摩托車碰撞事故車速估計(jì)建模[D];吉林大學(xué);2008年

本文編號(hào)：1798139