LaTeX.論理 のバックアップの現在との差分(No.3)
LaTeXコマンド集:論理 |
LaTeXコマンド集:論理 |
真 | \( \top \) \top |
偽 | \( \bot \) \bot |
否定 | \( \lnot \) \lnot |
論理和 | \( \lor \) \lor |
論理積 | \( \land \) \land |
含意 | \( \Rightarrow \) \Rightarrow \( \models \) \models |
同値 | \( \Leftrightarrow \) \Leftrightarrow \( \equiv \) \equiv |
全ての | \( \forall \) \forall |
存在 | \( \exists \) \exsists |
真 | \( \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 |