次が正しいことを証明せよ。
{n != 0}
if n<0 then
n= -n
{n>0}
次の推論規則が役立ちます
{B and P} S {Q}, (not B) and P=>Q
---------------------------------
{P}if B then S{Q}
明確な説明または少なくとも従うべき例を求めてウェブ全体を探していましたが、よくわかりません。以下に役立つ可能性のあるサイトをいくつか見つけましたが、例はありません。
148～160ページ
どんな助けでも大歓迎です。この問題を解決して他の問題を解決できるようにしたいと思います。非常に行き詰まっており、この本には例がありません。
これらのリンクも役立つ場合があります。ありがとう、10ポイント！