授業スライド こちらをクリックしてください 宿題 こちらをクリックしてください

前回の復習 宿題の答え合わせ きれいな証明 ⇒の証明例 除去→導入の例外 宿題

授業第三回目、自然演繹の⇒ と¬の証明についてです。導入規則・除去規則を復習し、また回り道がない「きれいな証明」について取り上げます。 きれいな証明とは、証明樹の上半部は除去規則のみ、下半部では導入規則のみを使うような証明です。多くの論理式は…