論理式
ここでは LaTeX で論理式で用いられる記号を出力するための方法を紹介します．
(ここで紹介するコマンドはすべて数式モードで使用可能なコマンドです．)
論理記号
LaTeX で論理記号を出力するには必要に応じて以下のコマンドを使用します．
| 名称 | 出力 | コマンド |
|---|---|---|
| 否定 (negation) |  |
\lnot p_1 |
| 論理積 (連言:conjuction) |  |
p_1 \land p_2 |
| 論理和 (選言:disjunction) |  |
p_1 \lor p_2 |
| 含意 (implication) |  |
p_1 \to p_2 |
 |
p_1 \Rightarrow p_2 | |
 |
p_1 \models p_2 | |
| 同値 (equivalence) |  |
p_1 \equiv p_2 |
 |
p_1 \Leftrightarrow p_2 |
限量子
LaTeX で限量子を出力するには以下のコマンドをそれぞれ使用します．
| 名称 | 出力 | コマンド |
|---|---|---|
| 全称限量子 (universal quantifier) |  |
\forall |
| 存在限量子 (existential quantifier) |  |
\exists |
LaTeX使いの必読書
LaTeXでレポートや論文を書く際に読んだ本です．よかったら参考にしてみてください．
LaTeXの参考書としては最高の書籍です．
著者が日本におけるTeXの第一人者である奥村先生ということもあり，非常に信頼性と質が高く，LaTeXのノウハウが詰まっています．