論理に出てくる述語（predicate）をコンピュータの文脈で考えると、適当なデータ領域Dの上で定義され、真偽値（trueまたはfalse）を戻り値とする関数になります。述語を数学的な関数と捉えるなら、その論理計算は古典論理と同じようにできます。しかし、コン…