逻辑符号表
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
请参与2011北京秋聚的讨论。[关闭]
逻辑符号表
维基百科,自由的百科全书
跳转到:导航, 搜索
在逻辑中,经常使用一组符号来表达逻辑结构。因为逻辑学家非常熟悉这些符号,他们在使用的时候没有解释它们。所以,给学逻辑的人的下列表格,列出了最常用的符号、它们的名字、读法和有关的数学领域。此外,第三列包含非正式定义,第四列给出简短的例子。
要注意,在一些情况下,不同的符号有相同的意义,而同一个符号,依赖于上下文,有不同的意义。
[编辑]基本逻辑符号
陈述
¬A 为真,当且仅当 A 为假。 穿过其他算符的斜线同于在它前面放置的 "¬"。 ¬(¬A ) ⇔ A x ≠ y ⇔ ¬(x = y ) 如果 A 与 B 二者都为真,则陈述 A ∧ B 为真;否则为假。 n < 4 ∧ n >2 ⇔ n = 3 当 n 是自然数的时候。 如果 A 或 B 或二者均为真陈述,则 A ∨ B 为真;如果二者都为假,则陈述为假。 n ≣ 4 ∨ n ≢ 2 ⇔ n ≠ 3 当 n 是自然数的时候。 陈述 A ⊕ B 为真,在要
么 A 要么 B 但不是二者为真的时候为真。A ⊻ B 意思相同。 (¬A ) ⊕ A 总是真,A ⊕ A 总是假。 ∀ x : P (x ) 意味着所有的 x 都使 P (x ) 都为真。 ∀ n ∈ N : n 2 ≣ n . ∃ x : P (x ) 意味着有至少一个 x 使 P (x ) 为真。 ∃ n ∈ N : n 是偶数。 ∃! x : P (x ) 意味着精确的有一个 x 使 P (x ) 为真。 ∃! n ∈ N : n + 5 = 2n . x := y 或 x ≡ y 意味着 x 被定义为 y 的另一个名字(但要注意 ≡ 也可以意味着其他东西,比如全等)。
cosh x := (1/2)(exp x + exp (−x ))
A XOR
B :⇔ (A ∨ B ) ∧ ¬(A ∧ B )
P :⇔ Q 意味着 P 被定义为逻辑等价于 Q 。 优先进行括号内的运算。 (8/4)/2 = 2/2 = 1,
而 8/(4/2) = 8/2 = 4。
x ├ y 意味着 y 推导自 x 。 A → B ├ ¬B → ¬A [编辑] 参见
∙
数学符号表
∙ Help:数学公式 来自
“/w/index.php?title=%E9%80%BB%E8%BE%91%E7%AC%A6%E5%个人工具
∙ 登录/创建账户
名字空间
∙
条目
∙ 讨论 大陆简体
变换
∙
大陆简体
∙ 港澳繁體
∙马新简体
∙台灣正體
查看
∙阅读
∙编辑
∙查看历史
操作
搜索
导航
∙首页
∙分類索引
∙特色内容
∙新闻动态
∙最近更改
∙随机条目
帮助
∙帮助
∙维基社群
∙方针与指引
∙互助客栈
∙询问处
∙字词转换
∙IRC即时聊天
∙联系我们
∙关于维基百科
∙资助维基百科工具
∙链入页面
∙链出更改
∙上传文件
∙特殊页面
∙打印页面
∙永久链接
∙引用此文
其他语言
∙English
∙Latina
∙Lietuvių
∙Македонски
∙本页面最后修订于2011年5月15日 (星期日) 03:34。
∙本站的全部文字在知识共享署名-相同方式共享 3.0协议之条款下提供,附加条款亦可能应用。(请参阅使用条款)
Wikipedia®和维基百科标志是维基媒体基金会的注册商标;维基™是维基媒体基金会的商标。
维基媒体基金会是在美国佛罗里达州登记的501(c)(3)免税、非营利、慈善机构。