論理記号

記号名コマンド出力
否定 (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

関連事項


添付ファイル: filecoloneqq01.png 225件 [詳細] fileexists01.png 232件 [詳細] fileforall01.png 220件 [詳細] fileLeftrightarrow01.png 260件 [詳細] fileequiv01.png 201件 [詳細] filemodels01.png 178件 [詳細] fileRightarrow01.png 206件 [詳細] fileto01.png 233件 [詳細] filelor01.png 226件 [詳細] fileland01.png 231件 [詳細] filelnot01.png 213件 [詳細]

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