>>184,185
「偽⇒真」も「偽⇒真」も知っているけれども、間違いがあった。

>>186
数学の式変形は同値だから、変形が行えるのではないのでしょうか？
逆算する意味がないと思います。