命题逻辑是逻辑学的一个分支。 它也称为命題演算、句子演算、句子逻辑,有时也称为零阶逻辑。它涉及命题(可以是真或假)和命题之间的关系,包括基于它们的论证的构建。复合命题是通过逻辑连接词连接命题而形成的。不包含逻辑连接词的命题称为原子命题。 与一阶逻辑不同,命题逻辑不处理非逻辑...
29 KB (5,010 words) - 10:44, 13 July 2023
命题 在逻辑学、哲学、语言学中,命题(英語:proposition)是一个陈述句所表达的判断,具有真值,即不是真的就是假的。例如,“雪是白色的”。命题不等同于句子,例如,“雪是白色的”和“白色是雪的颜色”是不同的句子,但它们判断相同的事,是相同的命题;同时,命题...
5 KB (686 words) - 15:34, 24 June 2024
亚里士多德的六篇逻辑学著作被收录在《工具论》(Organon)中。特别是其中叫做《前分析(英语:Prior Analytics)》和《解释篇》的两篇包含了亚里士多德对断定和形式推理的处理的核心,并且是亚里士多德的著作中与词项逻辑有关的主要部分。 在理论背后的基本假定是命题由两项组成 -...
17 KB (2,776 words) - 17:32, 16 August 2024
在逻辑和数学中,逻辑合取或逻辑与或且是一个二元逻辑運算符。如果其两个变量的真值都为“真”,其结果为“真”,否则其结果为“假”。 基本符号: ∧ {\displaystyle \land } 英文名:logical conjunction 中文名:逻辑与,合取,交集,按位与,逻辑乘,与门,... 命题...
8 KB (1,128 words) - 02:30, 8 July 2023
在形式逻辑中,逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如,假设有两个逻辑命题,分别是“正在下雨”和“我在屋里”,我们可以将它们组成复杂命题“正在下雨,并且我在屋里”或“没有正在下雨”或“如果正在下雨,那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符(Logical...
9 KB (208 words) - 13:52, 18 November 2022
在数理逻辑中,命题变量(也称命题变元、句子变量)是要么为真要么为假的变量。命题变量是命题公式的基本构件板块,用于命题逻辑和更高的逻辑中。 逻辑中的公式通常是由一些命题变量、一些逻辑连接词和一些逻辑量词递归地建立的。命题变量是命题逻辑的原子公式,通常用大写字母表示,如 P {\displaystyle...
1 KB (200 words) - 19:03, 10 June 2022
在数理逻辑中,公式是表达命题的形式语法对象,除了这个命题可能依赖于这个公式的自由变量的值之外。[需要解释(似乎翻译自英语而语焉不详)] 公式精确定义依赖于涉及到的特定的形式逻辑,但有如下一个非常典型的定义(特定于一阶逻辑):公式是相对于特定语言而定义的;就是说,一组常量符号、函数符号和关系符号,这...
3 KB (534 words) - 15:11, 9 October 2022
多值逻辑是有多于两个的可能的真值的逻辑演算。传统上,逻辑演算是二值的,就是说对于任何命题都只有两个可能的真值,真和假(它一般对应于我们直觉概念的真理和虚假)。但是二值只有一个可以被指派的可能的真值范围,已经开发了一些其他逻辑系统,带有对二值的变异,或带有多于两个可能的真值指派。...
4 KB (657 words) - 15:13, 9 October 2022
逻辑或(logical or)又称逻辑析取(logical disjunction)、邏輯選言,是逻辑和数学概念中的一个二元逻辑运算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,两个变量同时为假,其结果为“假”。 逻辑或是两个逻辑变量的一种运算,经常是两个命题...
5 KB (518 words) - 15:28, 22 July 2024
逻辑学家不能完全避免提供某种处理这些句子的意义的需求。逻辑的语义指称逻辑学家已经介入来理解和确定他们感兴趣的意义部分的方式;逻辑学家在传统上只对是命题的句子感兴趣,它是适合逻辑操纵的理想的句子。 直到现代逻辑出现之前,亚里士多德的工具论特别是解释篇,提供了理解逻辑...
3 KB (476 words) - 14:31, 9 October 2022
直觉主义逻辑或构造性逻辑是最初由阿蘭德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点,也有使用直觉逻辑的强烈动机,因为它有存在性质,这使它还适合其他形式的数学构造主义。 直觉逻辑的公式的语法类似于命题逻辑...
12 KB (2,066 words) - 11:48, 9 August 2021