在形式逻辑中,逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如,假设有两个逻辑命题,分别是“正在下雨”和“我在屋里”,我们可以将它们组成复杂命题“正在下雨,并且我在屋里”或“没有正在下雨”或“如果正在下雨,那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符(Logical...
9 KB (208 words) - 01:41, 25 February 2025
(ii)建造自这些命题函数或变量和运算符的真值泛函表达式。行展示对 (i)和 (ii)的T或F指派的每个可能的求值。换句话说,每行都是对 (i)和 (ii)的不同解释。 经典(就是说二值)逻辑的真值表限定于只有两个真值是可能的布尔逻辑系统,它们是“真”或“假”,通常在表中简单的表示为T和F。 在布尔逻辑系统中,所有运算符...
10 KB (916 words) - 18:01, 2 March 2025
命题逻辑中的二元连接词合取,是一个两元算子,集合论中的交集算子,二进制中的逻辑乘算子,按位与(Bitwise AND),逻辑门中的“与”门(AND gate),编程语言中的&或and运算符等等。 逻辑与(logical conjunction)是两个逻辑变量的一种运算,经常是两个命题的运算...
8 KB (1,128 words) - 04:32, 25 February 2025
线性逻辑 文字 (数理逻辑) 逻辑——對有效推論的哲學研究 逻辑门 逻辑蕴含 逻辑等价 逻辑运算符 逻辑真理 逻辑原子论——哲學理論 逻辑实证主义——以確證主義為核心的西方哲學運動的思想主義 逻辑主义 LP——哲学逻辑有关弗协调理论的的一个分支 多值逻辑——真值大于2的逻辑运算 逻辑双条件——if and...
10 KB (1,804 words) - 20:22, 4 June 2025
在数字逻辑中,逻辑算符互斥或(英語:Exclusive or)是对两个运算元的一种邏輯分析类型。与一般的邏輯或不同,當兩兩數值相同時為否,而數值不同時為真。 对于命题 p , q {\displaystyle p,q} , p {\displaystyle p} 异或 q {\displaystyle...
5 KB (663 words) - 19:48, 15 April 2024
逻辑或(logical or)又称逻辑析取(logical disjunction)、邏輯選言,是逻辑和数学概念中的一个二元逻辑运算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,两个变量同时为假,其结果为“假”。 逻辑或是两个逻辑变量的一种运算,经常是两个命题的运算...
5 KB (523 words) - 04:33, 25 February 2025
在数学和数理逻辑中,逻辑代数(有时也称开关代数、布尔代数)是代数的一个分支,其变量的值仅为真和假两种真值(通常记作 1 和 0)。初等代數中变量的值是数字,而且主要的运算是加法、乘法和乘方(以及它們的逆运算),而逻辑代数的主要运算符有合取与,记为∧;析取或,记为∨;否定非,记为¬。因此,它是描述逻辑运算...
13 KB (1,807 words) - 15:42, 5 April 2024
ratiocinator),很能让人想起符号逻辑,可以被看作使这种计算成为可行的一种方式。但他们的工作鲜为人知,后继无人。 数理逻辑的概念在十九世纪中期出现了,它是两个古老的学科:数学和哲学逻辑的交汇。 数理逻辑被称之为符号逻辑或形式逻辑或者逻辑代数。“数理逻辑”的名称是由皮亚诺首先给出,数理逻辑在本质上依然是亚里士多德的逻辑...
10 KB (1,533 words) - 06:59, 10 February 2025
按位异或运算,对等长二进制模式或二进制数的每一位执行逻辑异或操作。操作的结果是如果某位不同则该位为1,否则该位为0。例如 0101 XOR 0011 = 0110 在类C语言中,按位异或运算符是"^"。 汇编语言的程序员们有时使用按位异或运算作为将寄存器的值设为0的捷径。用值的自身对其执行按位异或运算...
19 KB (2,736 words) - 07:56, 23 September 2024
多值逻辑 三值逻辑 模糊逻辑 概率逻辑 亚结构逻辑(子结构逻辑) 线性逻辑 相干逻辑 非单调逻辑 缺省逻辑 自动认识逻辑 可废止逻辑 模态逻辑 真势模态逻辑 认识逻辑 道义逻辑 时间逻辑(时态逻辑) 动态逻辑 可证明性逻辑 可解释性逻辑 哲学逻辑 次协调逻辑(弗协调逻辑) 自由逻辑 辩证法(辩证逻辑)...
31 KB (4,159 words) - 20:41, 5 June 2025
所有的C语言运算符都被C++语言支持。C语言不支持运算符重载。 在不重载时,运算符&&、||、,(逗号运算符),在第一个操作数求值之后有一个顺序点。 大部分C与C++运算符也可用于其它程序设计语言如C#、Java、Perl、PHP等,具有相同的优先级、结合性与语义。 以下是C++程式語言中的所有運算子的優先級和結合性列表。...
17 KB (409 words) - 00:16, 11 December 2022
复合句子可能意味着: 在数理逻辑中,是由逻辑运算符连接起来的两个句子组成的句子。 在语言学中,是由多个独立子句通过相应的连词和/或标点连接起来的句子。...
317 bytes (43 words) - 06:54, 25 August 2010
時也可以給定一個語義,用以定義真值和賦值(或解釋)。 命題運算的語言包括:(1)一套原始符號,被稱之為「原子公式」、「占位符」、「命題字母」或「命題變量」;(2)一套運算符號,被稱之為「邏輯運算符」。一個合式公式是任一原子公式,或任一以運算符號依文法規則由原子公式建立起的公式。...
29 KB (5,010 words) - 04:56, 19 May 2025
狀態的克莱尼三值命题逻辑系统,並將一般的布爾連接詞擴展到三值上下文語境中。三值邏輯也有謂詞;這些可能具有與經典(二元)謂詞邏輯不同的量詞讀數,也可能包含替代量詞。 如果布爾邏輯具有 22 = 4 個單元運算符,則在三值邏輯中添加第三個狀態值,則導致在單個輸入值上共有 33 = 27 個不同的運算符。類似地,在布爾邏輯具有...
8 KB (1,025 words) - 15:13, 9 October 2022
与可以指: 查看维基词典中的词条「與」或「与」。 用于表示对象和关系的介词。 用于表示并列关系的连词。 逻辑与,逻辑和数学中的一个二元逻辑运算符。 按位与,兩個二進制數逐位邏輯與的結果。 和...
335 bytes (48 words) - 14:18, 18 May 2022
线性时序逻辑(英語:linear temporal logic,LTL),或称线性时态逻辑,是一种模态时态逻辑。其时态运算符限定于描述从一个给定的状态开始的某一条路径上的事件。线性时序逻辑由阿米尔·伯努利在1977年提出。线性时序逻辑和计算树逻辑(英语:Computation tree...
9 KB (531 words) - 07:39, 6 December 2022
查看维基词典中的词条「或」。 或可以指: 用于表示选择关系的连词。 逻辑或,逻辑和数学中的一个二元逻辑运算符。 逻辑异或,逻辑和数学中的另一个二元逻辑运算符。...
276 bytes (39 words) - 11:44, 15 March 2024
T-模式 (category 逻辑学小作品)
逻辑运算符上的交换性。 T-模式经常用自然语言表达,但它们很容易接纳多类谓词逻辑或模态逻辑的形式化;比如叫做 T-理论的公式化。T-理论构成了哲学逻辑中很多基础工作的基础,它们被应用于分析哲学中很多重要争论。它们也是在模型论背后的基础直觉;或者说模型论实现了它们。 真理的语义理论 公式 (数理逻辑)...
1 KB (158 words) - 10:14, 29 November 2022
在命题演算,或在数学的逻辑演算中,实质条件、實質蘊涵或蕴涵算子是一种二元的真值泛函的逻辑运算符,它有着如下形式: 若A,則B。 这裡的A和B是陈述变量(可以被语言中任何有意义的可表示的句子所替代)。在这种形式的陈述中,第一项这裡的A,叫做前件;第二项这裡的B,叫做后件。...
7 KB (1,006 words) - 05:50, 5 August 2024
有两类常见的运算,一元和二元运算。其中,一元运算仅涉及一个输入值,比如逻辑非或者三角函数等。而对于以加、减、乘、除以及幂为例的二元运算,则需要两个输入值。 除却数字,运算也允许涉及其他数学对象。比如逻辑真值 “真” 和 “假” 就可以通过 “与”、“或”、“非” 这些逻辑运算符连接并参与运算,其中 “与”...
11 KB (1,373 words) - 13:54, 5 February 2025
邏輯真理是逻辑学的一个基础概念,它指的是无须借助于感性经验,仅依靠一定的逻辑推理即可判定其必然为真的真理。逻辑真理虽不直接与经验相联系,但这并不意味着它与经验徹底无关。 所有的哲学逻辑 以及逻辑推论都可以被看作是对逻辑真理的阐述。 逻辑真理通常被认为是必然的真理。这意味着它们在任何情境下都不可能不是...
2 KB (247 words) - 01:04, 28 February 2025
自由变量和约束变量 (category 數理邏輯)
在数学和其他涉及形式语言的学科中,包括数理逻辑和计算机科学,自由变量是在表达式中用于表示一个位置或一些位置的符号,某些明确的代换(英语:Substitution_(logic))可以在其中发生,或某些运算(比如总和或量化)可以在其上发生。这个概念有关于占位符(它是以后会被文字串(英语:String...
5 KB (934 words) - 03:47, 2 May 2020
德摩根定律 (category 邏輯)
在经典命题逻辑的外延中,此二元性依然有效(即对于任意的逻辑运算符,我们都能找到它的对偶),由于存在于调节否定关系的恒等式中,人们总会引入作为一个算符的德摩根对偶的另一个算符。这导致了基于传统逻辑的逻辑学的一个重要性质,即否定范式的存在性:任何公式等价于另外一个公式,其中否定仅出现在作用于公式中非逻辑...
6 KB (1,098 words) - 02:31, 11 February 2025
假言三段论又称假言推理。假言推理总是以假言判断为前提来进行推理的。 在逻辑中,假言三段论是服从下列形式的有效的论证: P → Q. Q → R. 所以, P → R. 在逻辑运算符记号中 p → q {\displaystyle p\rightarrow q} q → r , {\displaystyle...
3 KB (367 words) - 15:38, 12 April 2023
非P 所以Q 在逻辑运算符记号中: p ⊻ q {\displaystyle p\veebar q} , ¬ p {\displaystyle p\quad } ⊢ q {\displaystyle \vdash q} 这里的 ⊢ {\displaystyle \vdash } 表示逻辑断言。...
2 KB (389 words) - 22:33, 21 June 2024
哥德尔不完备定理 (category 數理邏輯)
在数理逻辑中,哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。第一条定理指出: 这是形式逻辑中的定理,容易被错误表述。有许多命题听起来很像是哥德尔不完备定理,但事实上并不是。具体实例见对哥德尔定理的误解。 把第一条定理的证明过程在体系内部形式化后,哥德尔证明了第二条定理。该定理指出:...
21 KB (3,451 words) - 03:48, 19 March 2025
JavaScript语法 (section 逻辑运算符)
//true 参见String. JavaScript提供4个逻辑运算符: 酉运算逻辑非 (NOT = !a) 二元运算析取 (OR = a || b)与合取 (AND = a && b) 三元条件运算符 (c ? t : f) 在逻辑运算上下文中,除下述表达式外,任何表达式的计算结果都为true:...
79 KB (10,236 words) - 03:35, 20 June 2023
式。也可證明只以其中的一對模式是無法和「肯定前件」一起充分證明出所有的重言式的。 其他包含著相同或不同邏輯運算符的公理模式也可以另行建構出來。 這些公理模式也被使用於謂詞邏輯裡,但需要附加上其他邏輯公理,藉以討論包含了量詞的命題。 等於公理 令 L {\displaystyle {\mathfrak...
21 KB (3,504 words) - 13:57, 4 February 2025
在邏輯和哲學中,论证是由前提及其的一个结论组成的一系列命题。 论证分为演绎论证和归纳论证,演繹論證必为有效或无效,可以是可靠的:在有效的演绎論證中,即使一個或多個前提為假且結論為假,前提必須得出結論;在一個合理的論證中,真實的前提需要一個真實的結論。相比之下,歸納論證可以具有不同程度的邏輯...
6 KB (817 words) - 15:51, 28 April 2025
又称最小化求值),是一种逻辑运算符的求值策略。只有当第一个运算数的值无法确定逻辑运算的结果时,才对第二个运算数进行求值。例如,当AND的第一个运算数的值为false时,其结果必定为false;当OR的第一个运算数为true时,最后结果必定为true,在这种情况下,就不需要知道第二个运算...
5 KB (654 words) - 22:41, 26 March 2024
推理规则 (category 句法 (逻辑学))
没有这种能力:它只指示潜在的推理。 → {\displaystyle \rightarrow } 是另一个逻辑运算符,它运算于真值之上。 ⊢ {\displaystyle \vdash } 不是逻辑运算符。它是一个催化剂,代谢真陈述来建立新陈述。 推理规则必须区别于一个理论的公理,它是被假定为真而无须证...
7 KB (1,219 words) - 21:52, 11 February 2025