>>486

間違ってるのは貴方ですよ。
y<xでないならy<5でない
を単純に論理記号で定式化すると
¬(y<x)→¬(y<5)
となるからその対偶は
¬¬(y<5)→¬¬(y<x)
つまり
y<5→y<x
となる。
これは結局「y<5ならばy<x」と言っているのと同じ。

あと、例の「黒く塗りつぶす」ですが、
これは
平面R^2と、R^2の点でない有界な領域が一対一に対応することに基づいて、
xとyを独立変数と見て実関数x=f(s)、y=g(t)を考えたときに
点(s、t)の取る位置を考えれば平面は黒く塗りつぶせますよ。
こういう風に説明を入れて解答すればこれも正解になります。
まあ、普通は>>456のように答えるのが正解になるんでしょうけどね。