基礎演習 I 論理学

京都大学文学部の「基礎演習 I 論理学」(毎週火曜日16:30〜18:00)の授業Blogです。

2011-05-24から1日間の記事一覧

本日の授業資料

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

授業内容

前回の復習 宿題の答え合わせ 演習 自然演繹(⇒、∧、∨の関係) 宿題

授業第五回目、最小命題論理の自然演繹の演習です。各種結合子(⇒、∧と∨)の入り交じった命題の証明になれるのが目的です。また、この演習を通し、同値性が証明できる命題の証明の間には似た点があることについて考察します。