論理記号

記号名コマンド出力
否定 (negation)\lnotlnot01.png
\neg
論理積 (conjunction)\landland01.png
\wedge
論理和 (disconjunction)\lorlor01.png
\vee
含意 (implecation)\toto01.png
\rightarrow
\RightarrowRightarrow01.png
\modelsmodels01.png
同値 (equivalence)\equivequiv01.png
\LeftrightarrowLeftrightarrow01.png
全称限量子 (universal quantifier)\forallforall01.png
存在限量子 (existential quantifier)\existsexists01.png
定義 (definition)\coloneqqcoloneqq01.png

関連事項


添付ファイル: fileto01.png 128件 [詳細] filemodels01.png 124件 [詳細] filelor01.png 126件 [詳細] filelnot01.png 139件 [詳細] fileland01.png 136件 [詳細] fileforall01.png 137件 [詳細] fileexists01.png 119件 [詳細] fileequiv01.png 136件 [詳細] filecoloneqq01.png 137件 [詳細] fileRightarrow01.png 128件 [詳細] fileLeftrightarrow01.png 141件 [詳細]

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2013-09-02 (月) 20:25:34 (2271d)