LaTeX.論理 のバックアップソース(No.3)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - 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:| 真 | &mathjax{\top}; \top |
| 偽 | &mathjax{\bot}; \bot|
| 否定 | &mathjax{\lnot}; \lnot |
| 論理和 | &mathjax{\lor}; \lor |
| 論理積 | &mathjax{\land}; \land |
| 含意 | &mathjax{\Rightarrow}; \Rightarrow &mathjax{\models}; \models |
| 同値 | &mathjax{\Leftrightarrow}; \Leftrightarrow &mathjax{\equiv}; \equiv|
|全ての| &mathjax{\forall}; \forall |
|存在| &mathjax{\exists}; \exsists |