>>370
既に証明したというのならそのレスを提示してみ?
X⇒Zの否定のためにX⇒YやY⇒Zを示しても論理としては否定になってないのでそれを要求する意味も分からない