>>100
述語論理では式(項)/termと論理式/formulaが定義される。
具体的なものというイメージは恐らく式に対するものだろう。
これには定数や関数が該当する。
そして成り立つかどうかを問題にするものは論理式に対するイメージだろう。
これには述語が該当する。