kyoto_logic https://blog.hatena.ne.jp/kyoto_logic/ 科学哲学科学史 (演習) 論理学 https://kyoto-logic.hatenablog.com/ 前回までで、最小述語論理の話は終了です。これである程度数学を展開するための道具は揃いました。それでは、授業第十一回目の今回、この枠組みの中で、簡単な算数の証明がどこまで書けるか試してみましょう！ その枠組みとして、形式化された算術（自然数と足し算・かけ算の世界）の一つである、最小算術 Q の断片（大小関係に関する公理を除去したもの）を選びます。そして、例として、等式に関する命題（1≠2）を、Qにおいて形式的に証明してみましょう。 授業内容 前回の復習 宿題の答え合わせ 形式化された算術 1≠2 本日の授業資料 授業スライド こちらから 授業要約・宿題 こちらから 注意 本来は、0だけでなく、形… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkyoto-logic.hatenablog.com%2Fentry%2F2019%2F07%2F09%2F231837" title=" - 科学哲学科学史 (演習) 論理学" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2019-07-09 23:18:37 rich https://kyoto-logic.hatenablog.com/entry/2019/07/09/231837 1.0 100%