授業内容

1. 前回の復習
2. キーワード：メタ・統辞論・帰納的定義
   1. メタ・レベル(meta level)と対象レベル(object level)
   2. 統辞論(syntax)と意味論(semantics)
   3. 帰納的定義(inductive definition)
3. 準備：形式言語
   1. 項(Term)
   2. 命題
   3. 論理結合子
4. 自然演繹：⇒の導入・除去規則
   1. ⇒の導入規則
   2. ⇒の除去規則
5. 宿題