6月29日（火）の授業は、都合により休講といたします。

Robinson算術 Q については、以下の本を参考にしてください。Computability and Logic作者: George S. Boolos,John P. Burgess,Richard C. Jeffrey出版社/メーカー: Cambridge University Press発売日: 2007/09/17メディア: ペーパーバック クリック: 5回こ…

平常授業：6/22 休講： 6/29 平常授業：7/6, 7/13 補講： 7/20（？）*1 *1:未定です。

前回の復習 宿題の答え合わせ 自然数論 宿題

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

前回、最小述語論理の存在量化子の導入・除去規則を学び、とりあえず最小述語論理の道具立ては揃いました。授業第九回目の今回は、この枠組みの中で、実際の数学の証明がどこまで書けるか試してみましょう！ その題材としては、形式化された自然数論（自然数…

授業スライド こちらから 宿題 こちらからなお、宿題は1-5のみをやってください。

前回の復習 宿題の答え合わせ 述語論理:∃の導入と除去 宿題について

授業第八回目、存在量化子 ∃の導入・除去規則についてです。

6月8日（火）の授業は、都合により休講といたします。

来週 6月8日（月）は、都合のため、休講とします。

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

前回の復習 宿題の答え合わせ 述語論理:∀の導入と除去 休講情報 宿題について

授業第七回目、∀の導入・除去規則についてです。