今日の試験まで「ホーア論理」のことを「飽和論理」だと思っていた。授業中はずっと「どの辺が飽和してるんだろう」と疑問だった・・・人名だったのね。こんなんだから試験の方がお察し。