出典:デジタル大辞泉(小学館)

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