x <= 0
とかどこからでてきた？
肝心な所を省略しないでちゃんと書いてくれないと数学論理学の議論以前にせっかく追記してもそれがなんのことか分からない。