2011-05-01から1ヶ月間の記事一覧
量化子を導入したことによる哲学へのインパクトについては、以下の本を参考にしてください。言語哲学大全1 論理と言語作者: 飯田隆出版社/メーカー: 勁草書房発売日: 1987/10/20メディア: 単行本購入: 7人 クリック: 37回この商品を含むブログ (55件) を見る
授業スライド こちらから 宿題 こちらから
前回の復習 宿題の答え合わせ 量化子:∀と∃ 量化子のきまり 宿題
授業第六回目、本日から述語論理に入ります。本日は量化子∀との∃の導入の意図を説明します。数学では無限を扱いますが、無限は命題論理では分析しきれません。そこで、「無限」という言葉の内実をもっと分析し、たとえば「自然数は無限に存在する」から 「5…
授業スライド こちらから 宿題 こちらから
前回の復習 宿題の答え合わせ 演習 自然演繹(⇒、∧、∨の関係) 宿題
授業第五回目、最小命題論理の自然演繹の演習です。各種結合子(⇒、∧と∨)の入り交じった命題の証明になれるのが目的です。また、この演習を通し、同値性が証明できる命題の証明の間には似た点があることについて考察します。
授業スライド こちらから 宿題 こちらから
前回の復習 宿題の答え合わせ 自然演繹:∧ の規則 自然演繹:∨ の規則 例題 宿題
授業第四回目の今回は、最小命題論理の自然演繹の論理結合子 ∧ と ∨ に関する導入規則・除去規則の紹介と問題演習です。 当分の間、機械的な問題演習が続くと思いますが、形式的な論理体系を理解するためには、まず手を動かして 練習問題の証明をやり、計算…
授業スライド こちらをクリックしてください 宿題 こちらをクリックしてください
前回の復習 宿題の答え合わせ きれいな証明 ⇒の証明例 除去→導入の例外 宿題
授業第三回目は、自然演繹の論理結合子 ⇒ に関する証明の構造についてです。導入規則・除去規則を復習し、また回り道がない「きれいな証明」について取り上げます。また、同時に、論理結合子 ¬(ただし¬AはA⇒⊥の略記)の証明についても取り上げます。 きれい…
本日は、休日のため休講とします。