あと3-4回で終わるらしい←？
来週オンラインかも
テストは学期末の試験機関に、持ち込み不可、90分、授業の練習問題が中心
次回で自然演繹は終わり(証明論)
それ以降は完全性定理など(ゲーデルの論文で有名だが、授業ではヘンキンの手法で証明を紹介)
条件が複雑なら、条件を満たさないケースや自分の回答がなんで条件を満たしているのかを確認するといいらしい
証明図を作るストラテジー
- 結論に注目する(結論はどんな形？)
- 述語論理: 決定不能
- もうこれ以上遡れない場所に到達する
- 前提と一時的仮定に注目する
証明図を作るときのチェックポイント
- 推論規則は正しく使われているか？
- 開いた仮定はの左側だけか？
- 一時的仮定を閉じる推論規則に対しては番号が正しくついているか
→これは今までのパーツでは証明できない
が必要になる