命题
在逻辑学、哲学、语言学中，命题（）是一个陈述句所表达的判断，具有真值，即不是真的就是假的。例如，“雪是白色的”。命题不等同于句子，例如，“雪是白色的”和“白色是雪的颜色”是不同的句子，但它们判断相同的事，是相同的命题；同时，命题也不依赖于语言，不同的语言可以表达相同的命题，例如，“雪是白的”和“Snow is white”是相同的判断。疑问句、祈使句、感叹句都不能表达命题。 由其他命题推出命题（前提推出结论）的过程，叫做推论；而这些作为…
标签：#命題
共 6 篇文章
直言命題
直言命题是陈述一个类与另一个类之间的包含关系的命题。在经典逻辑看来，直言命题是演绎推理的基本构件。 直言命题可以根据其“质”和“量”分为四种标准直言命题： 全称肯定命题（A命题）：所有S是P。 全称否定命题（E命题）：没有S是P。 特称肯定命题（I命题）：有S是P。 特称否定命题（O命题）：有S不是P。 A、E、I、O的命名是基于拉丁语affirmo（我肯定），以及nego（我否认）。大量句子都可以翻译成这些标准形式之一，同时保留其全部…
偶然性
人們用偶然性、概然性或者機會等字眼來表達他們相信某件事情發生過或者將要發生，也可以理解为主观概率。 在日常的對話或書面交流中「偶然性」以及類似「可能性」、「不確定性」這些概念並没有精確統一的定義與哲学、數學中的討論不同。偶然性可以解釋为： 偶然：突然的,不是经常的;意想不到的 偶然事件： #突然的、未预料到的且非故意的或有意的对接受保险的人将造成损害的行为或事件 #指意外地和非预谋而发生的某事 偶然性：出乎意料的非规定特性 可見用「偶然…
矛盾
中，對立四邊形內不同直言命題之間存在的矛盾關聯。]] 在傳統邏輯學中，如果一個命題與自身或既定事實相衝突，則稱之為矛盾（，又稱恆假）。這種情況經常用來發現人們的不誠實信念或偏見。亞里士多德提出的無矛盾律，進一步說明了應用邏輯的普遍原則，即一件事物不可能在同一時間對於相同的對象同時為是與非。 在當代的形式邏輯和類型論領域，「矛盾」一詞專指某個特定的命題，通常使用（）來表示。根據邏輯規則，如果一個命題能導出「假 (邏輯值)」，則該命題被視為…
原子句子
在命题演算和谓词演算中，原子公式要么是命题字母要么是跟随着n个变量的n元谓词字母。原子句子同于上述描述，除了n元谓词字母跟随着n个常量或函子（functor）之外。 例如，设P, M, T是谓词字母；设a, b, c，等是常量项；但设x, y, z是变量项；并设p是命题字母。则下列都是原子句子： p M(a) P2(b,a,c) 但下列不是原子句子（因为有自由变量的出现）： M(x) T(a,z) P2(x,y,z) 参见 句子 (数理…
恆真式
恆真式（tautology）又称为套套邏輯、恆真句、恆真式或重言式等。 恆真式是指在任何情況下皆為真的命題，例如经典逻辑中的P\vee\neg P、P\to P、(P\wedge Q)\vee R\leftrightarrow (P\vee R)\wedge (Q\vee R)或“A=B，B=C，则A=C”。 命題邏輯的恆真式 命題邏輯上，如某式為一連串命題變項的組合，將每個命題變項分別代入真、假，運算結果總是為真，則該式為一恆真式。 …