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

CENTER:|>|【[[1>Category.1]]】情報 Information Science|
|>|CENTER:&size(36){''[[&mathjax{\LaTeX};>LaTeX]]''};|
|>|CENTER:&size(18){コマンド集:''論理''};|

 

| 真 | &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 |