LaTeX.論理
Last-modified: Fri, 08 Dec 2017 14:37:09 JST (2680d)
Top > LaTeX.論理
スマホ版が見づらい場合はPC版をお試しください。
真 | \( \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 |