論理記号 ろんりきごう

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

論理記号

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

出典｜ASCII.jpデジタル用語辞典

デジタル大辞泉の解説

ろんり‐きごう〔‐キガウ〕【論理記号】

記号論理学で、論理式を構成するのに用いる記号。論理積の「∧」、論理和の「∨」、否定の「～」など。存在記号の「∃」、全称記号の「∀」を含めることもある。論理演算子。

出典｜小学館

大辞林 第三版の解説

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

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

出典｜三省堂

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

【機械推論】より

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

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

出典｜株式会社日立ソリューションズ・クリエイト