2022年2022年逻辑符号 .pdf

《2022年2022年逻辑符号 .pdf》由会员分享，可在线阅读，更多相关《2022年2022年逻辑符号 .pdf（4页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、符号名字解说例子读作范畴?实质蕴涵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 为假。

2、穿过其他算符的斜线同于在它前面放置的?。?(?A) ?Ax y ?(x = y) 非命题逻辑逻辑合取如果 A 与 B 二者都为真，则陈n 2 ?n = 3 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 1 页，共 4 页 - - - - - - - - - & 与述 A B 为真；否则为假。当 n 是自然数 的时候。命题逻辑逻辑析取如果 A 或 B 之一为真陈述或AB两者都为真陈述，则A B 为真；如果二者都为假，则陈述为假。n 4 n 2?n 3 当 n是自然数 的时候。或命题逻

3、辑?异或陈述 A B 为真，在要么A 要么 B 但不是二者为真的时候为真。A ? B 意思相同。(?A) A 总是真， A A 总是假。xor 命题逻辑, 布尔代数?全称量词? x: P(x) 意味着所有的x 都使 P(x) 都为真。? n N: n2n. 对于所有；对于任何；对于每个谓词逻辑?存在量词? x: P(x) 意味着有至少一个 x 使 P(x) 为真。? n N: n 是偶数。存在着谓词逻辑名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 2 页，共 4 页 - - - -

4、 - - - - - ?! 唯一量词?! x: P(x) 意味着精确的有一个 x 使 P(x) 为真。?! n N: n + 5 = 2 n. 精确的存在一个谓词逻辑:= :?定义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推论或推导命题逻辑, 谓词逻辑名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 3 页，共 4 页 - - - - - - - - - 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 4 页，共 4 页 - - - - - - - - -