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