論理式 (数学)

数理論理学、命題論理、述語論理における論理式（ろんりしき、あるいは）とは、論理結合子の適用対象となる記号列のことである。整論理式ということもある。
ここでは古典論理を主な対象とするが、非古典論理をはじめ、他の多くの論理体系についても同様な議論は可能である。
語誌.
初期の数理論理学者の幾人かは、『』を「単なる記号列」、『』を「 のうち、正しい構成規則に従って作られた記号列」として区別し、幾人かは単に「」と総称した。
いずれにせよ形式言語という考え方が定着した現代では、わざわざ断ることなどなく、整式のみが議論の対象である。すなわち、定められている構文規則に従った記号の並び（たとえば数式であれば 1 * (2 + 3) といったような）のみが議論の対象となる式であり、同様の記号を使っていても、単なるデタラメに並べたものにしか見えないようなもの（たとえば数式であれば * + ) 3 5 / といったような）は、何か変な議論を仕掛けようとしている哲学者などでもない限り、単に、議論の対象から外すだけである（オッカムの剃刀）。
とはいえある程度は意識される概念であり、 という句は様々な著作に見られる。
命題論理.
命題論理の論理式はとも呼ばれ、例えば『』といった形で表現される。命題論理式は、と論理演算を表す記号と括弧で定義され、命題変数を表すアルファベットは論理演算記号や括弧を含まないものとされる。論理式はそれらを並べたものである。
論理式は次のように再帰的に定義される。
この定義をバッカス・ナウア記法で形式文法として記述することもできる。変数の種類は有限とすると、次のようになる。
この文法を使って次のような記号列が記述できる。
これは、文法的に正しいので論理式である。一方、
こちらは文法に従っていないので論理式ではない。
複雑な論理式、特に括弧を多用した論理式は理解するのが難しい。この問題を緩和するため、数学における演算子の優先順位のように結合子間の優先順位を設けることもできる。例えば、優先される順に『』『』『』『』とする。すると
という論理式は次のようにも表現できる。
ただし、これは論理式の記述を簡略化するための単なる取り決めである。したがって例えば、左結合性で優先順を『』『』『』『』と取り決めれば、上の括弧のない論理式は次のように解釈される。
述語論理.
一階述語論理 formula_1 における論理式の定義は、その理論のに左右される。シグネチャとは、当該理論の非論理記号である定数記号、述語記号、関数記号を指定するもので、同時に関数記号や述語記号のアリティ（引数の数）の定義もシグネチャに含まれる。
シグネチャformula_2を指定したうえで、項を以下によって再帰的に定義する。項とは、議論領域の対象物を表現したものである。
次に原子論理式が定義される。
最後に論理式は、原子論理式の集合を含む最小の集合として次のように定義される。
何らかの変数 formula_10 があるとき、formula_19 あるいは formula_20 が全く出現しない論理式は量化子のない論理式と呼ばれる。量化子のない論理式の前に存在量化がある論理式を存在論理式と呼ぶ。
原子論理式と開論理式.
原子論理式とは、論理結合子や量化子を含まない論理式、あるいは厳密な部分論理式を持たない論理式である。原子論理式の厳密な形式は、どんな形式体系のものかで変わってくる。例えば命題論理での原子論理式はである。一階述語論理では、項である引数を伴った述語記号が原子論理式である。
量化子を伴わず、論理結合子のみを使って原子論理式を結合した論理式を「開論理式」と呼ぶこともある。
閉論理式.
閉論理式または文とは、自由変数がない論理式を指す。一階述語論理の論理式に変数が出現する場合、閉論理式とするためにはそれぞれの変数に対応して束縛作用素（量化子など）を前置する必要がある。