コトバンクはYahoo!辞書と技術提携しています。

論理記号 ろんりきごう

ASCII.jpデジタル用語辞典の解説

論理記号

論理演算子などの論理演算で用いられる記号

出典|ASCII.jpデジタル用語辞典ASCII.jpデジタル用語辞典について | 情報

大辞林 第三版の解説

ろんりきごう【論理記号】

記号論理学で、命題を合成する論理概念を表す記号。~(否定)、∧(連言)、∨(選言)、⊃(含意)、∀(普遍量記号)、∃(存在量記号)など。

出典|三省堂大辞林 第三版について | 情報

世界大百科事典内の論理記号の言及

【機械推論】より

… その中で最も基本的な演繹推論の体系は,命題論理である。命題論理は,命題と呼ばれる真偽が特定できる文および文の間の論理的な関係を表す論理記号と呼ばれる記号からなる。 命題論理では,〈材料(肉,タマネギ,ジャガイモ,ニンジン,カレー粉)があればカレーができる〉という知識を,たとえば以下のように表す。…

※「論理記号」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について | 情報

論理記号の関連キーワードジャン ルカシェービチルカシェービチトートロジー論理実証主義シンタックス故障の木解析ウィーン学団ゲーデル数述語論理学人工言語数理哲学古典論理述語論理命題論理意味論ペアノ超数学量記号命題含意

今日のキーワード

分水嶺

1 分水界になっている山稜(さんりょう)。分水山脈。2 《1が、雨水が異なる水系に分かれる場所であることから》物事の方向性が決まる分かれ目のたとえ。...

続きを読む

コトバンク for iPhone

コトバンク for Android

論理記号の関連情報