論理記号（読み）ロンリキゴウ

デジタル大辞泉

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

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

出典　小学館

精選版 日本国語大辞典

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

1. 〘 名詞 〙 数学や論理学で、論理語を表わす記号のこと。「∨」（あるいは）「∧」（かつ）など。

出典　精選版 日本国語大辞典

世界大百科事典（旧版）内の論理記号の言及

【機械推論】より

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

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

出典｜株式会社平凡社「世界大百科事典（旧版）」