論理式
論理記号を用いていくつかの命題を結び合わせた式。
logical expression
論理 + 式
整論理式
論理式 - Wikipedia