首页 逻辑符号

逻辑符号

举报
开通vip

逻辑符号基本逻辑符号 符号 名字 解说 例子 读作 范畴 ⇒→⊃ 实质蕴涵 A ⇒ B 意味着如果 A 为真,则 B 也为真;如果 A 为假,则对 B 没有任何影响。→可能意味着同⇒一样的意思⊃可能意味着同⇒一样的意思 x =2  ⇒  x2 =4为真,但&n...

逻辑符号
基本逻辑符号 符号 名字 解说 例子 读作 范畴 ⇒→⊃ 实质蕴涵 A ⇒ B 意味着如果 A 为真,则 B 也为真;如果 A 为假,则对 B 没有任何影响。→可能意味着同⇒一样的意思⊃可能意味着同⇒一样的意思 x =2  ⇒  x2 =4为真,但 x2 =4  ⇒  x =2不保证成立(因为 x可以是−2)。 蕴涵;如果..那么 命 快递公司问题件快递公司问题件货款处理关于圆的周长面积重点题型关于解方程组的题及答案关于南海问题 逻辑 ⇔↔ 实质等价 A ⇔ B 意味着如果 A 为真则 B 为真,和如果 A 为假则 B 为假。 x +5 = y +2  ⇔  x +3 = y 当且仅当;iff 命题逻辑 ¬˜ 逻辑否定 陈述¬A 为真,当且仅当 A 为假。穿过其他算符的斜线同于在它前面放置的"¬"。 ¬(¬A) ⇔ Ax ≠ y  ⇔ ¬(x =  y) 非 命题逻辑 ∧& 逻辑合取 如果 A 与 B 二者都为真,则陈述 A ∧ B为真;否则为假。 n <4  ∧  n >2  ⇔  n =3当n 是自然数的时候。 与 命题逻辑 ∨ 逻辑析取 如果 A 或 B之一为真陈述或AB两者都为真陈述,则 A ∨ B 为真;如果二者都为假,则陈述为假。 n ≥4  ∨  n ≤2  ⇔ n ≠3当 n 是自然数的时候。 或 命题逻辑 ⊕⊻ 异或 陈述 A ⊕ B 为真,在要么A要么B但不是二者为真的时候为真。A ⊻ B 意思相同。 (¬A)⊕ A 总是真,A ⊕ A 总是假。 Xor 命题逻辑,布尔代数 ∀ 全称量词 ∀ x: P(x)意味着所有的 x 都使 P(x)都为真。 ∀ n ∈ N: n2 ≥ 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 的另一个名字(但要注意≡也可以意味着其他东西,比如全等)。P :⇔ Q 意味着 P 被定义为逻辑等价于 Q。 cosh x :=(1/2)(exp x +exp (−x))A XOR B :⇔(A ∨ B) ∧ ¬(A ∧ B) 被定义为 所有地方 () 优先组合 优先进行括号内的运算。 (8/4)/2 =2/2 =1,而8/(4/2) =8/2 =4。 所有地方 ├ 推论 x ├ y 意味着 y 推导自 x。 A → B ├¬B →¬A 推论或推导 命题逻辑,谓词逻辑
本文档为【逻辑符号】,请使用软件OFFICE或WPS软件打开。作品中的文字与图均可以修改和编辑, 图片更改请在作品中右键图片并更换,文字修改请直接点击文字进行修改,也可以新增和删除文档中的内容。
该文档来自用户分享,如有侵权行为请发邮件ishare@vip.sina.com联系网站客服,我们会及时删除。
[版权声明] 本站所有资料为用户分享产生,若发现您的权利被侵害,请联系客服邮件isharekefu@iask.cn,我们尽快处理。
本作品所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用。
网站提供的党政主题相关内容(国旗、国徽、党徽..)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
下载需要: 免费 已有0 人下载
最新资料
资料动态
专题动态
is_401400
暂无简介~
格式:doc
大小:23KB
软件:Word
页数:2
分类:工学
上传时间:2013-12-18
浏览量:60