本来は、0だけでなく、形式化された算術の全ての記号（=,+,×など）も、本来の算数の記号と分けて書く必要があるのですが、スライド作成の都合上、同じ記号を使っています。ご注意下さい。

宿題(p.34)は、二問のうち一問のみやってきて下さい。

授業スライド・宿題 こちらから

前回の復習 宿題の答え合わせ 形式化された算術 宿題

前回までで、最小述語論理の話は終了です。これである程度数学を展開するための道具は揃いました。それでは、授業第十回目の今回、この枠組みの中で、実際の数学の証明がどこまで書けるか試してみましょう！ その枠組みとして、形式化された算術（自然数と足…

【お詫び】 これまで、大学のメールアドレスの転送設定がうまくいっていなかったため、いただいたメールは私には全て届いていませんでした。お詫びいたします。 設定を変更し、現在は問題ありません。

前回の復習 宿題の答え合わせ eigenvariable条件（復習） 双対性 (duality) 宿題

授業スライド・宿題 こちらから

授業第九回目、量化子 ∀ ∃の導入・除去規則についての演習です。また、前回時間がなかったため、二つの量化子の双対性について復習します。

授業スライド こちらから 宿題 こちらから

前回の復習 宿題の答え合わせ 述語論理:∃の導入と除去 双対性 (duality) 宿題

授業第八回目、存在量化子 ∃の導入・除去規則についてです。∀の場合は導入規則にeigenvariable条件がありましたが、∃では除去規則に似たようなeigenvariable条件があり、∃xA の除去規則で Aを満たす自然数 x を選ぶ際の制約条件はAのみであることを表現して…

授業スライド こちらから 宿題 こちらから

前回の復習 宿題の答え合わせ 述語論理:∀の導入と除去 宿題

授業第七回目、∀の導入・除去規則についてです。∀の導入規則には eigenvariable 規則という条件が入っています。この条件は、一見意味をつかむのが難しいですが、本来は「条件なしで選んだ任意のxについて」という意味を担保するため、xについての余計な条件…