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 |