PR

【LaTeX】論理記号(否定,かつ,または,任意,存在など)一覧

$唯一存在量化$ LaTeX

2021.05.172025.01.13

テクノロジー

記事内に広告が含まれています。

$\LaTeX$ における論理記号・論理式をまとめます。

【LaTeX】論理記号(否定,かつ,または,任意,存在など)一覧

記号	コマンド	主な意味
$\forall$	`\forall`	任意の，全称量化
$\exists$	`\exists`	存在，存在量化
$\nexists$	`\nexists`	存在しない
$\exists!$	`\exists!`	ただ一つ存在，唯一存在量化
$\neg$	`\neg`, `\lnot`	否定
$\land$	`\land`, `\wedge`	かつ，論理積(and)
$\cdot$	`\cdot`	かつ，論理積(and)
$\&$	`\&`	かつ，論理積(and)
$\lor$	`\lor`, `\vee`	または，論理和(or)
$+$	`+`	または，論理和(or)
$\parallel$	`\parallel`	または，論理和(or)
$\oplus$	`\oplus`	排他的論理和(xor)
$\veebar$	`\veebar`	排他的論理和(xor)
$\vdash$	`\vdash`	～を証明する
$\vDash$	`\vDash`	～を含意する
$\to$	`\to`	ならば，実質含意
$\rightarrow$	`\rightarrow`	ならば，実質含意
$\Rightarrow$	`\Rightarrow`	ならば，実質含意
$\implies$	`\implies`	ならば，実質含意
$\gets$	`\gets`	ならば，実質含意（逆）
$\leftarrow$	`\leftarrow`	ならば，実質含意（逆）
$\Leftarrow$	`\Leftarrow`	ならば，実質含意（逆）
$\impliedby$	`\impliedby`	ならば，実質含意（逆）
$\leftrightarrow$	`\leftrightarrow`	同値，実質等値
$\Leftrightarrow$	`\Leftrightarrow`	同値，実質等値
$\iff$	`\iff`	同値，実質等値
$\equiv$	`\equiv`	同値，実質等値，定義
$\coloneqq$	`\coloneqq`	定義
$:\Leftrightarrow$	`:\Leftrightarrow`	定義
$\therefore$	`\therefore`	故に，従って
$\because$	`\because`	なぜならば
$\top$	`\top`	トートロジー（無条件に真）
$\bot$	`\bot`	矛盾
$\complement$	`\complement`	補集合

同値などの矢印については，以下の記事も参照してください。

その他のコマンドまとめ記事一覧