論理式（読み）ロンリシキ（その他表記）well-formed formula

デジタル大辞泉

ろんり‐しき【論理式】

論理記号を用いていくつかの命題を結び合わせた式。

出典　小学館

精選版 日本国語大辞典

ろんり‐しき【論理式】

1. 〘 名詞 〙 記号論理学で、命題を記号で表わした式。例えば、￢A （Ａでない）、A∧B （ＡかつＢ）など。

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

ブリタニカ国際大百科事典 小項目事典

論理式
ろんりしき
well-formed formula

ある論理体系において，定義ずみの有限個の記号および生成規則から生成され，その体系の定理か否かを問うことが有意味な記号列のこと (具体的には，命題や命題形式の総称) 。しかし，その記号列もしくはその否定がその体系の定理であることを，その体系内の公理系と推論規則による有限回の手続で機械的に決定する方法は一般に存在しない。 (→完全性定理 ,　テューリング機械 ) 　

出典　ブリタニカ国際大百科事典 小項目事典

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

【公理系】より

…論理学の公理系とは，科学，とくに数学で用いられる推論，つまり演繹的推理の方法を公理的体系として組織したものである。はじめに，公理として基本的な推理方法を表現する若干個の論理式logical formulaをとる。論理式とは，推理に登場する命題あるいは命題間の関係を記号を用いて図式的に表現したものである。…

【述語論理学】より

…したがって述語論理の基本命題は，1個の述語と数個の主語の連鎖として表現されることになる。
［論理式］
　以上の構造をもつ命題は，命題論理の論理語～，∧，∨，⊃と組み合わされて複雑な命題を構成することができる。しかし述語論理においては，命題の内部構造を上述のように分析した結果明らかになる論理法則をもとりあげなければならない。…

【命題論理学】より

…これらの記号を用いると，命題の論理的構造を命題論理学の枠内で示すことができる。それを表す記号の配列を論理式と呼ぶ。例えば，　～p，～(～p∨～q)，　(((p⊃q)∧p)⊃q)はみな論理式である。…

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

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