セミナーで受けた質問ですが、一般的な話なので、応答をこちらに書きます。命題を形式化した構文的対象物が論理式です。この論理式の集合を正確に定義するとどうなるのか？ という話です。内容： 用途と論理を決める 基本記号を全部挙げる 構文の定義 項の定…