ろんりしき【論理式】 〔well-formed formula〕 記号論理学において，形成規則に従って組み立てられた有意味な記号列のこと。命題を表現するために用いられる。