&size(24){''論理記号''};

*例 [#r5a7ce71]
|||CENTER:BGCOLOR(lightgreen):|c
|記号名|コマンド|出力|
|否定 (negation)|\lnot|&ref(lnot01.png);|
|~|\neg|~|
|論理積 (conjunction)|\land|&ref(land01.png);|
|~|\wedge|~|
|論理和 (disconjunction)|\lor|&ref(lor01.png);|
|~|\vee|~|
|含意 (implecation)|\to|&ref(to01.png);|
|~|\rightarrow|~|
|~|\Rightarrow|&ref(Rightarrow01.png);|
|~|\models|&ref(models01.png);|
|同値 (equivalence)|\equiv|&ref(equiv01.png);|
|~|\Leftrightarrow|&ref(Leftrightarrow01.png);|
|全称限量子 (universal quantifier)|\forall|&ref(forall01.png);|
|存在限量子 (existential quantifier)|\exists|&ref(exists01.png);|
|定義 (definition)|[[\coloneqq>coloneqq]]|&ref(coloneqq01.png);|
*関連事項 [#a980e166]
-[[数式記号]]
RIGHT:&counter;


トップ   編集 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS