演習の講評
文を論理式に変換
•  だいたい良くできていた
•  Only とかonlyifとかの落とし穴に引っかかる
人は予想外に少なかった
タブロー法
•  ３つ紹介した証明法の中では、最も易しい方
法だったと思う
•  かなりの人が出来ていた
Resolu-on法
•  連言標準形（CNF,節形式）への変換は、多く
の人ができていた
•  肝心のResolu-onの証明過程が存外できない
人が多かった
CNFさえ出来れば、resolu-on証明の作り方
は易しいハズなのですが、、、
（何しろ規則は１個で、覚えることが少ない！）
自然演繹法
•  適用規則名など、細かいところで誤りが散見
されるものの、大筋では出来る人が多かった
•  でも、まったく手につかない人もいるようだ
小さな例題から、１行１行辿りながら、証明の
作り方に慣れてもらうしかない