論理記号を用いていくつかの命題を結び合わせた式。

論理 + 式