>579
>> 『矛盾』とは、(z=5、y=3)のことでしょうか?

『矛盾』とは、>>567の
「 z=5,y=3 で(3)が成り立たない、かつ、(3)が成り立つ」
です。

z=5,y=3 で(3)は、成り立ちます。