[PHP] 0同士の比較（不等号）の挙動の理屈

Question

こちらの結果がどちらもfalseを出力します。
不等号を逆にしたら直感的にどちらかは逆の出力にならないといけないと思ったのですが
これの挙動をマニュアルで探したのですがうまく検索できずどなたかリンクか挙動の説明していただけないでしょうか？

if(0 > 0) {
    var_dump(true);
} else {
    var_dump(false);
}

-> false

// 不等号を逆にする
if(0 < 0) {
    var_dump(true);
} else {
    var_dump(false);
}

-> false

Answer 1

不等号を逆にしたら直感的にどちらかは逆の出力にならないといけないと思ったのですが

この直感が誤りです。0 > 0も0 < 0もfalseで間違いありません。

Comments

[maisumakun]

（イレギュラーな値のことをいったんおいておくなら）a<bの否定はa>=bです。

[maisumakun]

なお、NaNというどんな値と比較演算をしてもfalseとなる値があったり、あとはa<bとa>bが両方trueになるような値を作ることも、PHPであれば可能です。

https://qiita.com/jkr_2255/items/3964c8c7c5a7ffd98603

[tomoyuki123]

ご回答ありがとうございました！

Answer 2

回答としてはmaisumakunさんのものですべてですが、「リンクか挙動の説明」とのことでしたので補足します。

• 小学校算数/4学年 - Wikibooks #数のはんい
• 中学校数学/1年生/数量/文字と式 - Wikibooks #不等式
• 不等号 - Wikipedia #基本的な不等号

上のリンクにあるとおり、「0以上」「0以下」であればゼロを含みます。
不等号では「≦」「≧」、PHPを含むたいていのプログラミング言語においては <= >= と表されます。

いっぽうでご提示のコードにおける 0 < 0 0 > 0 は「より大きい」「より小さい(未満)」を意味し、ゼロ自身を含みません。自然数においては「0より大きい」は「1以上」と等しくなります。0が0より大きいか、あるいは小さいか、というのは常に false になります。

Comments

[tomoyuki123]

色々リンクなどありがとうございました！