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

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

授業第三回目は、自然演繹の論理結合子 ⇒ に関する証明の構造についてです。導入規則・除去規則を復習し、また回り道がない「きれいな証明」について取り上げます。また、同時に、論理結合子 ¬（ただし¬AはA⇒⊥の略記）の証明についても取り上げます。 きれい…