>>231
>>185の
＞0x=0y=0z=0
に何の意味があるんだっていうの。この条件があったら、x,y,z全て不定になるというだけ

>>228
＞「(B)をみたすのに(C)を満たさないものがあるのはおかしい」
このようなことは書いていません。
(C)を満たさないのに(B)が成立するからおかしいのです。

全てのpで正しい⇒NOT (C)⇒NOT (A)