LaTeX.論理 のバックアップの現在との差分(No.4)

• バックアップ一覧
• 差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• バックアップ を表示
• LaTeX.論理 へ行く。
  • 1 (2017-11-13 (月) 11:26:43)
  • 2 (2017-11-13 (月) 13:08:28)
  • 3 (2017-11-13 (月) 15:32:58)
  • 4 (2017-12-08 (金) 14:37:09)

• 追加された行はこの色です。
• 削除された行はこの色です。

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 |