論理式

ここでは LaTeX で論理式で用いられる記号を出力するための方法を紹介します.
(ここで紹介するコマンドはすべて数式モードで使用可能なコマンドです.)


論理記号

LaTeX で論理記号を出力するには必要に応じて以下のコマンドを使用します.

名称 出力 コマンド
否定 (negation) negation \lnot p_1
論理積 (連言:conjuction) conjuction p_1 \land p_2
論理和 (選言:disjunction) disjunction p_1 \lor p_2
含意 (implication) implication01 p_1 \to p_2
implication02 p_1 \Rightarrow p_2
implication03 p_1 \models p_2
同値 (equivalence) equivalence01 p_1 \equiv p_2
equivalence02 p_1 \Leftrightarrow p_2

限量子

LaTeX で限量子を出力するには以下のコマンドをそれぞれ使用します.

名称 出力 コマンド
全称限量子 (universal quantifier) forall \forall
存在限量子 (existential quantifier) exists \exists

LaTeX使いの必読書

LaTeXでレポートや論文を書く際に読んだ本です.よかったら参考にしてみてください.

[改訂第5版] LaTeX2e 美文書作成入門

LaTeXの参考書としては最高の書籍です.
著者が日本におけるTeXの第一人者である奥村先生ということもあり,非常に信頼性と質が高く,LaTeXのノウハウが詰まっています.