論理記号の一覧

ウィキメディアの一覧記事

論理記号の一覧(ろんりきごうのいちらん)では、論理学における記号について解説する。論理記号は、当学問分野で広く論理的表現を表すのに用いられている。

以下の表は多くの一般的な記号について、それらの名称と読み方、数学における関連分野について記している。加えて、非形式的な定義と単純な例を示す。そしてUnicodeにおける符号位置や文字参照LaTeXで使用可能なコマンドを記している。

基礎的な論理記号

編集
記号 名称 / 読み方 Unicode 文字参照 実体参照 LaTeXコマンド
説明
実質含意 含む; もし~ならば U+21D2 ⇒ ⇒   \Rightarrow

  \implies

古典論理においては、A が偽または B が真であるとき、AB を真とする。

直観主義論理においては、A を前提として B が証明できるとき、AB を真とする。

どの記号を使うかは文献による。

U+2192 → →   \to
例:x = 2 ⇒ x2 = 4 は真である。

ただし x2 = 4 ⇒ x = 2 は一般に偽である(ここで x は -2 の可能性もある)。

U+2283 ⊃ ⊃   \supset
実質等値 ~のとき、かつそのときに限り; iff; U+21D4 ⇔ ⇔   \Leftrightarrow

  \iff

AB」は、AB が共に真、または共に偽のときのみ真となる。
U+2261 ≡ ≡   \equiv
例:x + 5 = y + 2 ⇔ x + 3 = y
U+2194 ↔ ↔   \leftrightarrow
¬ 否定 ~ではない U+00AC ¬ ¬   \lnot

  \neg

言明「¬A」は A が偽のときのみ真となる。

演算子の上に置かれたスラッシュは、否定記号 ¬ が演算子の前に置かれているのと同じく、その演算子の否定を意味する。

˜ U+02DC ˜ ˜   \tilde{}
例:¬(¬A) ⇔ A, xy ⇔ ¬(x = y)
! U+0021 ! !
記号 名称 / 読み方 Unicode 文字参照 実体参照 LaTeXコマンド
説明
論理積 かつ (and) U+2227 ∧ ∧   \land

  \wedge

言明「AB」は、AB が共に真であるときのみ、真である、他の場合は偽。
· U+00B7 · ·   \cdot
U+22C5 ⋅ ⋅
例:n < 4 ∧ n > 2 ⇔ n = 3n が自然数であるとき)
& U+0026 &#38; &amp;   \&
論理和 または (or) U+2228 &#8744; &or;   \lor

  \vee

言明「AB」は、A または B のいずれか(または両方)が真のとき、真である; そして両方が偽のときは、偽。
+ U+002B &#43; -
例:n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3n が自然数であるとき)
U+2225 &#8741; -   \parallel
排他的論理和 xor U+2295 &#8853; &oplus;   \oplus
言明「AB」は、A または Bいずれか(両方ではない)が真のとき、真となる。

AB」も意味は同じ。

U+22BB &#8891; -   \veebar
例:A) ⊕ A は常に真である。AA は常に偽である。
トートロジー トップ U+22A4 &#8868; -   \top
言明「」は無条件に真である。
T U+0054 &#84; -
例:A ⇒ ⊤ は常に真。
1 U+0031 &#49; -
矛盾 ボトム U+22A5 &#8869; -   \bot
言明「」は無条件に偽である。
F U+0046 &#70; -
例:⊥ ⇒ A は常に真。
0 U+0030 &#48; -
記号 名称 / 読み方 Unicode 文字参照 実体参照 LaTeXコマンド
説明
全称量化 すべての; 任意の; それぞれについて U+2200 &#8704; &forall;   \forall
x: P(x)」は、すべての x について P(x) が真であることを意味する。
例:n. n2n. (算術の言語および公理系において)
存在量化 ~が存在する U+2203 &#8707; &exist;   \exists
x: P(x)」は、P(x) を満たす x が少なくとも1つは存在することを意味する。
例:n. n が偶数.
∃! 唯一存在量化英語版 ~がただ1つ存在する U+2203 U+0021 &#8707;&#33; -   \exists!
∃! x: P(x)」は、P(x) を満たす xただ1つ存在することを意味する。
例:∃! n. n + 5 = 2n.
記号 名称 / 読み方 Unicode 文字参照 実体参照 LaTeXコマンド
説明
定義 ~として定義される U+2254 &#8788; -   \coloneqq[注釈 1]
xy」や「xy」は、xy の別名として定義されることを意味する。 (ただし「≡」は、単なる一致も意味する)

P :⇔ Q」は、PQ と論理的に等価に定義されることを意味する。

U+2261 &#8801; &equiv;   \equiv
例:

cosh x ≔ (1/2)(exp x + exp (−x))

A XOR B :⇔ (AB) ∧ ¬(AB)

:⇔ U+003A U+229C &#58;&#8860; :&hArr;   :\Leftrightarrow
( ) 優先順位 括弧 U+0028 U+0029 &#40; &#41; &exist;   ()
括弧内の操作を優先して実行する。
例:(8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1, 一方で 8 ÷ (4 ÷ 2) = 8 ÷ 2 = 4.
ターンスタイル英語版 ~を証明する U+22A2 &#8866; -   \vdash
xy」は x から y が形式的に証明されることを意味する。
例:AB ⊢ ¬B → ¬A
ダブル・ターンスタイル英語版 ~を含意する U+22A8 &#8872; -   \vDash
xy」は xy を含意することを意味する。
例:AB ⊨ ¬B → ¬A
記号 名称 / 読み方 Unicode 文字参照 実体参照 LaTeXコマンド
説明

その他の論理記号

編集

以下では、発展的または稀に用いられる論理記号について述べる。

オーバーラインの引かれた中点は否定論理積 NAND を表す。A · B¬ (A & B) と等価。
オーバーライン
数式の上に引かれたオーバーラインは、ゲーデル数を表すことがある。例えば AB は、論理式 AB のゲーデル数を意味する。
またオーバーラインで否定を表すこともある。例えば AB は、¬(AB) と等価。
U+007C | vertical line
U+2191 upwards arrow
U+22BC nand
シェファーの棒記号 (Sheffer stroke) とも呼ばれ、否定論理積 NAND 演算子である。
U+2193 downwards arrow
U+22BD nor
パースの矢印 (Peirce arrow) とも呼ばれ、否定論理和 NOR 演算子である。
U+2201 complement
集合論において補集合を表す。例えば、全体集合が了解されている集合 A について、その補集合は   と表される。
U+2204 there does not exist
斜線の引かれた存在量化子は、¬∃ と等価である。すなわち存在の否定を意味する。
U+2234 therefore
「故に、従って (therefore)」を意味する。
U+2235 because
「なぜならば (because)」を意味する。
U+22A7 models
左辺が右辺のモデルであることを意味する2項演算子。例えば理論 T について「MT」は、MT のモデルであることを意味する[1]
U+22A8 true
右辺が左辺の論理的帰結であることを意味する2項演算子。例えば理論 T と論理式 φ について「Tφ」は、φT の論理的帰結である、すなわち φT定理であることを意味する。
また「論理的に正しい」ことを意味する前置演算子。「∅ ⊧ φ」を「φ」と略記する、ここで 空集合[1]
U+22AC does not prove
「証明不可能」を意味する。例えば理論 T と論理式 φ について「Tφ」は、T から φ が証明不可能である、すなわち φT の定理ではないことを意味する。
U+22AD not true
U+22A8 true の否定。
U+22C6 star operator
アドホックな演算子について用いられる。
U+231C top left corner
U+231D top right corner
角引用符 (corner quotes) は「クワインの引用符」または「疑似引用符」(quasi-quotation) と呼ばれ、ゲーデル数を意味する。例えば論理式 φ について「φ」は、ゲーデル数化された φ を意味する[2]

脚注

編集

注釈

編集
  1. ^ mathtools パッケージの導入が必要

出典

編集
  1. ^ a b 新井 2011, p. 23.
  2. ^ 田中 2007, pp. 78–79.

参考文献

編集
  • 新井敏康『数学基礎論』岩波書店、2011年5月19日。ISBN 978-4-00-005536-9 
  • 田中一之 編『ゲーデルと20世紀の論理学 3 不完全性定理と算術の体系』東京大学出版会、2007年3月1日。ISBN 978-4-13-064097-8 

関連項目

編集