論理式 (数学)

数学、数理論理学、命題論理、述語論理などにおいて、論理式（ろんりしき、英語: logical expression）とは、真理値を必要とする場所にあらわれる式のことであり、原子論理式や、それを論理演算子で結びあわせた式のことである。ここでは古典論理のものを例示するが、非古典論理をはじめ、他の多くの論理体系についても同様な議論は可能である。