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%2F2021%2F06%2F29%2F000000" 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 2021-06-29 00:00:00 rich https://kyoto-logic.hatenablog.com/entry/2021/06/29/000000 1.0 100%