次の2つのタイプの発言を考える。 ～ は成立するぞ。 ～ は成立しないぞ。 「～」の部分は、等式・不等式などの命題。構文をキチンと約束すれば「～」の部分は論理式だとしてよい。$`\newcommand{\mrm}[1]{\mathrm{#1}}`$発言の定式化〈数理モデリング〉とし…