論理記号(否定、論理積、同値、∀、∃)をTeXで書く方法
否定と論理積と論理和
\[
\lnot P \\
P \land Q \\
P \lor Q
\]
\[ \lnot P \\ P \land Q \\ P \lor Q \]
否定と論理積と論理和はすべて「l」(小文字のエル)から始める。
ならば
\[
P \to Q \\
P \rightarrow Q \\
P \longrightarrow Q \\
P \Rightarrow Q \\
P \Longrightarrow Q \\
P \mapsto Q \\
P \longmapsto Q \\
P \rightharpoonup Q \\
P \rightharpoondown Q \\
P \models Q
\]
\[ P \to Q \\ P \rightarrow Q \\ P \longrightarrow Q \\ P \Rightarrow Q \\ P \Longrightarrow Q \\ P \mapsto Q \\ P \longmapsto Q \\ P \rightharpoonup Q \\ P \rightharpoondown Q \\ P \models Q \]
同値
\[
P \equiv Q \\
P \leftrightarrow Q \\
P \longleftrightarrow Q \\
P \Leftrightarrow Q \\
P \Longleftrightarrow Q \\
P \rightleftharpoons Q \\
P \leftrightarrows Q \\
P \rightleftarrows Q
\]
\[ P \equiv Q \\ P \leftrightarrow Q \\ P \longleftrightarrow Q \\ P \Leftrightarrow Q \\ P \Longleftrightarrow Q \\ P \rightleftharpoons Q \\ P \leftrightarrows Q \\ P \rightleftarrows Q \]
一番上の記号は三角形の合同も表す。
すべてとある(AllとExists)
\[
\forall x \\
\exists x \\
\forall \ x \\
\exists \ x
\]
\[ \forall x \\ \exists x \\ \forall \ x \\ \exists \ x \]
∀と∃はややつめられて出力されるため、上の三番目と四番目の例のように半角空白(円マーク+半角空白)を入れるといいかもしれない。
記号・文字
-
TeX(LaTeX)で単位をきれいに書く方法07557
-
LaTeX(MathJax)の矢印コマンド一覧01489
-
LaTeX数式コマンド一覧05895
-
三角形と合同の記号をTeX(LaTeX)で書くコマンド022521
-
プラスマイナスの記号をTeX(LaTeX)で書く044645
-
LaTeX で自然数、整数、有理数、実数、複素数の集合を表す057287
-
論理記号(否定、論理積、同値、∀、∃)をTeXで書く方法014502
-
LaTeXコマンド ベクトルの記号07005
-
LaTeXコマンド 角度(度数法と弧度法と記号)03319
-
LaTeXコマンド:積分と重積分01433
-
LaTeX記法 分数とカッコの使い方02729
-
LaTeX記法 集合(包含関係と和集合とsup)052019
-
絶対値(ノルム)記号|LaTeX027715
-
LaTeX で平方根とべき根を書く03295
-
LaTeXコマンド:等号や不等号などの記号023826