注音 ㄎㄣˇ ㄉㄧㄥˋ ㄇㄧㄥˋ ㄊㄧˊ

拼音 kěn dìng mìng tí

解釋 理則學上表示主詞與謂詞相合的命題。

理則學上表示主詞與謂詞相合的命題。

1、 有幾種邏輯：命題邏輯的順序，謂詞的一個或多個、知識性、模態的，暫時的，模糊等。

2、 真值表方法是命題邏輯的一種重要的方法。

3、 以PROLOG語言為背景，實現了由此方法而建立的命題邏輯中命題演繹的自動推理。

4、 斯多噶學派否認任何非物質的，並試圖通過命題邏輯來解釋世界。

5、 對二值命題邏輯系統的程度化研究中命題公式的真度問題進行討論。

6、 在定量的意義下使模糊命題演算完全包容經典命題邏輯是不可能的。

7、 符號邏輯往往分為兩個分支，命題邏輯和謂詞邏輯。

8、 本文針對以上功能，提出了基於命題邏輯的資訊處理系統的新的需求描述方法。

9、 由此可見，命題邏輯只反映了一部分邏輯規律。

10、 也引申出命題邏輯定理證明的一個可信性問題。

11、 本文從語構理論入手，在經典二值命題邏輯系統中給出公式的語構真度的概念，從兩個不同的角度給出語構真度的等價刻畫。

12、 介紹了命題邏輯演算方法。

13、 首先以蘊涵運算元為基礎從有限擾動模糊命題邏輯出發，討論其邏輯代數及廣義重言式的性質。

14、 形式邏輯已經從簡單命題邏輯發展到比較複雜的模態邏輯系列。

15、 給出了相干命題邏輯自然推理系統NR的自動證明演算法。

<< 肯定 肯塔基州（Kentucky） >>