論理式 (数学)
数理論理学、命題論理、述語論理における論理式（ろんりしき、あるいは）とは、論理結合子の適用対象となる記号列のことである。整論理式ということもある。
ここでは古典論理を主な対象とするが、非古典論理をはじめ、他の多くの論理体系についても同様な議論は可能である。