LaTeX.論理 のバックアップ(No.4)

\( \LaTeX \)
LaTeXコマンド集：論理

　

真\( \Large \top \)\top
偽\( \Large \bot \)\bot
否定\( \Large \lnot \)\lnot
論理和\( \Large \lor \)\lor
論理積\( \Large \land \)\land
含意\( \Large \Rightarrow \)\Rightarrow
\( \Large \models \)\models
同値\( \Large \Leftrightarrow \)\Leftrightarrow
\( \Large \equiv \)\equiv
全ての\( \Large \forall \)\forall
存在\( \Large \exists \)\exsists