LaTeX.論理 の変更点
Top > LaTeX.論理
- 追加された行はこの色です。
- 削除された行はこの色です。
- LaTeX.論理 へ行く。
CENTER:|>|CENTER:&size(36){''[[&mathjax{\LaTeX};>LaTeX]]''};| |>|CENTER:&size(18){LaTeXコマンド集:''論理''};| |>|CENTER:&size(18){[[LaTeXコマンド集>LaTeX#command]]:''論理''};| CENTER:| 真 |CENTER: &mathjax{\Large \top}; | \top | | 偽 |CENTER: &mathjax{\Large \bot}; | \bot| | 否定 |CENTER: &mathjax{\Large \lnot}; | \lnot | | 論理和 |CENTER: &mathjax{\Large \lor}; | \lor | | 論理積 |CENTER: &mathjax{\Large \land}; | \land | | 含意 |CENTER: &mathjax{\Large \Rightarrow}; | \Rightarrow | |~|CENTER: &mathjax{\Large \models}; | \models | | 同値 |CENTER: &mathjax{\Large \Leftrightarrow}; | \Leftrightarrow | |~|CENTER: &mathjax{\Large \equiv}; | \equiv| |全ての|CENTER: &mathjax{\Large \forall}; | \forall | |存在|CENTER: &mathjax{\Large \exists}; | \exsists |