ろんり‐しき【論理式】 論理記号を用いていくつかの命題を結び合わせた式。