逻辑符号表
请参与2011北京秋聚的讨论。 [关闭]
逻辑符号表
维基百科，自由的百科全书
跳转到： 导航, 搜索
在逻辑中，经常使用一组符号来表达逻辑结构。因为逻辑学家非常熟悉这些符号，他们在使用的时候没有解释它们。所以，给学逻辑的人的下列表格，列出了最常用的符号、它们的名字、读法和有关的数学领域。此外，第三列包含非正式定义，第四列给出简短的例子。
要注意，在一些情况下，不同的符号有相同的意义，而同一个符号，依赖于上下文，有不同的意义。
[编辑] 基本逻辑符号
¬A 为真，当且仅当 陈述
A 为假。 ¬(¬A ) ⇔ A x ≠ y ⇔ ¬(x = y ) 穿过其他算符的斜线同于在它前面放置的 "¬"。 如果 A 与 B 二者都为n 2 ⇔ n = 3 当 n 真，则陈述 A ∧ B 为真；是自然数的时候。 否则为假。 如果 A 或 B 或二者均为n ≣ 4 ∨ n ≢ 2 ⇔ n ≠ 3 当 真陈述，则 A ∨ B 为真；如果二者都为假，则陈述n 是自然数的时候。 为假。 陈述 A ⊕ B 为真，在要
么 A 要么 B 但不是二者(¬A ) ⊕ A 总是真，A ⊕ A 总是假。 为真的时候为真。A ⊻ B 意思相同。 ∀ x : P (x ) 意味着所有的 ∀ n ∈ N : n 2 ≣ n . x 都使 P (x ) 都为真。 ∃ x : P (x ) 意味着有至少∃ n ∈ N : n 是偶数。 一个 x 使 P (x ) 为真。 ∃! x : P (x ) 意味着精确的有一个 x 使 P (x ) 为∃! n ∈ N : n + 5 = 2n . 真。 名字(但要注意 ≡ 也可 以意味着其他东西，比如A XOR B :⇔ 全等) 。 (A ∨ B ) ∧ ¬(A ∧ B )
x := y 或 x ≡ y 意味着 cosh x := (1/2)(exp x + x 被定义为 y 的另一个exp (−x ))
P :⇔ Q 意味着 P 被定义为逻辑等价于 Q 。 优先进行括号内的运算。
(8/4)/2 = 2/2 = 1,
而 8/(4/2) = 8/2 = 4。 x ├ y 意味着 y 推导自 A → B ├ ¬B → ¬A x 。 [编辑] 参见
数学符号表
∙ ∙
来自
“http://zh.wikipedia.org/w/index.php?title=%E9%80%BB%E8%BE%91%E7%AC%A6%E5%个人工具
∙
名字空间
∙ 讨论 ∙
大陆简体
变换
∙ ∙
∙ 查看
∙
∙ ∙ 操作
搜索
导航
∙ ∙ ∙ ∙ ∙ ∙ 帮助
∙ ∙ ∙ ∙ ∙ ∙ ∙
∙ ∙ ∙ 工具 帮助 字词转换
∙
∙ ∙
∙
∙
∙ 其他语言
∙
∙
∙ ∙ 本页面最后修订于2011年5月15日 (星期日) 03:34。
∙ 本站的全部文字在知识共享 署名-相同方式共享 3.0协议之条款下提
供，附加条款亦可能应用。（请参阅使用条款）
Wikipedia和维基百科标志是维基媒体基金会的注册商标；维基是维基媒体基金会的商标。
维基媒体基金会是在美国佛罗里达州登记的501(c)(3)免税、非营利、慈善机构。 ∙