形式手法の教育を行う場合に、受講生は、本書を全部読んでいる必要はないという命題をたててみました。
トップエスイー実践講座３では、「高度な数学的知識を習得して、現実的なシステムの仕様記述に利用することは容易でははい。」「モデル検査は、検証に必要な証明の作業を完全に自動的に行うため、上述の形式検証技
...続きを読む術一般の問題点を解決できる。」とあることにもとづいています。
講師になる人間は、全部読んでいる必要があると感じました。
本書を読んでいて、わからない記述があったので記録します。
P21
論理命題が真であれば、その対偶は真となる。
「叱らないと勉強しない」（命題）
「勉強すると叱る」（対偶）
解釈としては
「勉強しているということは叱られたから」
という記述がありました。
疑問に思った点は、勉強していはじめたときと、叱ったときが同時でればよいのではないでしょうか。
「勉強しはじめたときにちょうど叱った」
というのが真であれば、
叱る方は「叱らないと勉強しない」と思うし、
勉強している方は、「勉強しはじめたときにちょうど叱った」と思うという理解ではだめでしょうか。
そのため、対偶としては、
「勉強しはじめたときにちょうど叱った」
といのではだめでしょうか。
あるいは、
叱る側の立場
「叱らないと勉強しない」
「勉強しているということは叱られたから」
というのは、すでに順序関係を含んでいるので、その記載がないことが問題なのでしょうか。
ところで、勉強する側の立場
「勉強しはじめたときにちょうど叱った」
の対偶は
「叱らなかったときに、勉強を始めなかったことがある」
というのでよいでしょうか？
ps.
命題が複数の人間に関するものは、表現を注意する必要があるのではという理解でよいでしょうか。 
