逻辑符号表, 本页面包含特殊字符, 部分操作系统及浏览器需要特殊字母与符号支持才能正確显示, 否则可能出现乱码, 问号, 空格等其它符号, 在逻辑中, 经常使用一组符号来表达逻辑结构, 因为逻辑学家非常熟悉这些符号, 他们在使用的时候没有解释它们, 所以, 给学逻辑的人的下列表格, 列出了最常用的符号, 它们的名字, 读法和有关的数学领域, 此外, 第三列包含非正式定义, 第四列给出简短的例子, 要注意, 在一些情况下, 不同的符号有相同的意义, 而同一个符号, 依赖于上下文, 有不同的意义, 一般標點符號撇号, . 本页面包含特殊字符 部分操作系统及浏览器需要特殊字母与符号支持才能正確显示 否则可能出现乱码 问号 空格等其它符号 在逻辑中 经常使用一组符号来表达逻辑结构 因为逻辑学家非常熟悉这些符号 他们在使用的时候没有解释它们 所以 给学逻辑的人的下列表格 列出了最常用的符号 它们的名字 读法和有关的数学领域 此外 第三列包含非正式定义 第四列给出简短的例子 要注意 在一些情况下 不同的符号有相同的意义 而同一个符号 依赖于上下文 有不同的意义 逻辑符号表一般標點符號撇号 括號 冒號 逗號 頓號 連接號 破折號 省略號 叹号 句號 書名號 專名號 连字号 連字暨減號 問號 引號 分號 斜線 着重号 示亡號 隱諱號 分字符間隔號 空格 一般排版符號和號 amp 星號 井號 數字符號 反斜线 等号 倒感嘆號 倒問號 乘號 除号 序數標識 英语 ordinal indicator º ª百分號 千分號 萬分號 加號 減號 正負號 負正號 度數符號 角分符号 段落符号 豎線 分节符号 參考標記 項目符號 脱字符 波浪號 上橫線 下橫線 虛缺號 剑標 同上符号 知識產權符號版权符号 c copyleft錄音版權符號 英语 Sound recording copyright symbol 註冊商標符號 服務商標 商標符號 貨幣國際貨幣符號 貨幣符號 英语 Brazilian cruzeiro ƒ 英语 Florin sign ℳ 英语 Philippine peso sign 英语 Ruble sign 英语 Indian rupee sign 英语 Shekel sign 圓 圆 円 元 特殊排版符號asterism 英语 Asterism typography fleuron hedera 英语 Fleuron typography 标示号 疑問驚嘆號 反諷號 英语 irony punctuation 菱形 連音符 相關符號附加符號邏輯符號 空白字元其他語言標點符號希伯來語標點符號日語標點符號 英语 Japanese punctuation 韓語標點符號 英语 Korean punctuation 查论编基本逻辑符号 编辑符号 名字 解说 例子读作范畴 实质蕴涵 A B displaystyle A Rightarrow B 意味着如果A displaystyle A 为真 则B displaystyle B 也为真 如果A displaystyle A 为假 则对B displaystyle B 没有任何影响 displaystyle rightarrow 可能意味着同 displaystyle Rightarrow 一样的意思 这个符号也可以指示函数的域和陪域 参见数学符号表 displaystyle supset 可能意味着同 displaystyle Rightarrow 一样的意思 这个符号也可以指示超集 x 2 x 2 4 displaystyle x 2 Rightarrow x 2 4 为真 但 x 2 4 x 2 displaystyle x 2 4 Rightarrow x 2 不保证成立 因为x displaystyle x 可以是 2 displaystyle 2 蕴涵 如果 那么命题逻辑 实质等价 A B displaystyle A Leftrightarrow B 意味着如果A displaystyle A 为真则B displaystyle B 为真 和如果A displaystyle A 为假则 B displaystyle B 为假 x 5 y 2 x 3 y displaystyle x 5 y 2 Leftrightarrow x 3 y 当且仅当 iff命题逻辑 逻辑否定 陈述 A displaystyle neg A 为真 当且仅当A displaystyle A 为假 穿过其他算符的斜线同于在它前面放置的 displaystyle neg A A displaystyle neg neg A Leftrightarrow A x y x y displaystyle x neq y Leftrightarrow neg x y 非命题逻辑 amp 逻辑合取 如果A displaystyle A 与B displaystyle B 二者都为真 则陈述A B displaystyle A land B 为真 否则为假 n lt 4 n gt 2 n 3 displaystyle n lt 4 land n gt 2 Leftrightarrow n 3 当n displaystyle n 是自然数的时候 与 且命题逻辑 ǀ 逻辑析取 如果A displaystyle A 或B displaystyle B 之一为真陈述或A B displaystyle AB 两者都为真陈述 则A B displaystyle A lor B 为真 如果二者都为假 则陈述为假 n 4 n 2 n 3 displaystyle n geq 4 lor n leq 2 Leftrightarrow n neq 3 当n displaystyle n 是自然数的时候 或命题逻辑 异或 陈述A B displaystyle A oplus B 为真 在要么A displaystyle A 要么B displaystyle B 但不是二者为真的时候为真 A B displaystyle A veebar B 意思相同 A A displaystyle neg A oplus A 总是真 A A displaystyle A oplus A 总是假 xor命题逻辑 布尔代数 全称量词 x P x displaystyle forall x P x 意味着所有的x displaystyle x 都使P x displaystyle P x 都为真 n N n 2 n displaystyle forall n in mathbb N n 2 geq n 对于所有 对于任何 对于每个谓词逻辑 存在量词 x P x displaystyle exists x P x 意味着有至少一个x displaystyle x 使P x displaystyle P x 为真 n N n displaystyle exists n in mathbb N n 是偶数 存在着谓词逻辑 唯一量词 x P x displaystyle exists x P x 意味着精确的有一个x displaystyle x 使P x displaystyle P x 为真 n N n 5 2 n displaystyle exists n in mathbb N n 5 2n 精确的存在一个谓词逻辑 定义 x y displaystyle x y 或x y displaystyle x equiv y 意味着x displaystyle x 被定义为y displaystyle y 的另一个名字 但要注意 displaystyle equiv 也可以意味着其他东西 比如全等 P Q displaystyle P Leftrightarrow Q 意味着P displaystyle P 被定义为逻辑等价于Q displaystyle Q cosh x 1 2 exp x exp x displaystyle cosh x frac 1 2 exp x exp x A B A B A B displaystyle A oplus B Leftrightarrow A lor B land urcorner A land B 被定义为所有地方 优先组合 优先进行括号内的运算 8 4 2 2 2 1 displaystyle left frac 8 4 right div 2 frac 2 2 1 而 8 4 2 8 2 4 displaystyle 8 div frac 4 2 frac 8 2 4 所有地方 推论 x y displaystyle x vdash y 意味着y displaystyle y 推导自x displaystyle x A B B A displaystyle A rightarrow B vdash neg B rightarrow neg A 推论或推导命题逻辑 谓词逻辑 displaystyle Box L 必然性 P displaystyle Box P 意味着如果P displaystyle P 不可能 为假 必然的模态逻辑 displaystyle Diamond M 可能性 P displaystyle lozenge P 意味着如果P displaystyle P 可能 为真 不管实际上是真是假 可能的模态逻辑参见 编辑数学符号表 Help 数学公式 取自 https zh wikipedia org w index php title 逻辑符号表 amp oldid 59260395, 维基百科，wiki，书籍，书籍，图书馆，
