注音 ㄇ丨ㄥˋ ㄊ丨ˊ

拼音 mìnɡtí

簡體 命题

解釋 1.出題目。[例]命題作文｜命題原則｜命題考試。

2.邏輯學上指表達判斷的語句形式。典型的命題是用繫語（是）把主語和斷語聯繫起來。如：「鋁（主語）是（繫語）金屬（斷語）」，就是一個命題。

英文 proposition (logic, math.)​, to assign an essay topic

法語 proposition

德語 Logische Aussage (S, Philos)​

1.考試或作文出題目，稱為「命題」。
2.邏輯學上指表達判斷的語句。通常以直陳語句或假定句表達。
命 題

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

<< 命毒 命途 >>