http://rocketnews24.com/2011/07/09/111135/後で確認する。

P49の解説の中でド・モルガンの法則を勝手に使っているわけですが、 そこは証明が必要です。 * (B => A) => (^A => ^B) :[逆対偶律] (1) A => ^^A :[二重否定付加{A -> A}] (2) (B => A) => (B => ^^A) : [仮定付前件後件前件付加{(B => C) -> (1),A -> B}] …