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

論理記号 ろんりきごう

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

論理記号

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

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

大辞林 第三版の解説

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

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

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

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

【機械推論】より

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

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

出典|株式会社平凡社世界大百科事典 第2版について | 情報

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

今日のキーワード

桃李もの言わざれども下自ら蹊を成す

《「史記」李将軍伝賛から》桃やすももは何も言わないが、花や実を慕って人が多く集まるので、その下には自然に道ができる。徳望のある人のもとへは人が自然に集まることのたとえ。...

続きを読む

コトバンク for iPhone

コトバンク for Android