元ツイート
https://twitter.com/fumieval/status/1663161595009314819
![1.png](https://res.cloudinary.com/zenn/image/fetch/s--sQBwJzCJ--/c_limit%2Cf_auto%2Cfl_progressive%2Cq_auto%2Cw_1200/https://storage.googleapis.com/zenn-user-upload/deployed-images/ea5541d313741810f717434c.png%3Fsha%3D5687f37c19c3798b79451f8f5a27325f9834581b)
「配列のすべての要素が条件を満たすならtrueを返す」関数を定義するとき
![2.png](https://res.cloudinary.com/zenn/image/fetch/s--LzwkeTLh--/c_limit%2Cf_auto%2Cfl_progressive%2Cq_auto%2Cw_1200/https://storage.googleapis.com/zenn-user-upload/deployed-images/ee56b63707da72a4e374a2c7.png%3Fsha%3D9c6371dad841eb0f76d0df0d06ae0547c4914601)
空の配列を渡したらfalseを返すかtrueを返すか?
![8.png](https://res.cloudinary.com/zenn/image/fetch/s--yrj1HLwV--/c_limit%2Cf_auto%2Cfl_progressive%2Cq_auto%2Cw_1200/https://storage.googleapis.com/zenn-user-upload/deployed-images/c505715adfd5bf999c91ead5.png%3Fsha%3De6e1b21d9779520bb5c95d44576c846869094462)
trueの条件の反対側は、false
つまり、空の配列を渡した際に、反対の条件が成り立つならば
falseを返すと言える
「配列のすべての要素が条件を満たす」
を反対に言い換えると
「配列のいずれかの要素が条件を満たさない」
になる。
空の配列を渡した場合、配列に要素が存在しないため
「配列のいずれかの要素が条件を満たさない」
は成り立たない。
![9.png](https://res.cloudinary.com/zenn/image/fetch/s--qhmOrPKc--/c_limit%2Cf_auto%2Cfl_progressive%2Cq_auto%2Cw_1200/https://storage.googleapis.com/zenn-user-upload/deployed-images/5eac9faedb0ffc164a51d0cd.png%3Fsha%3D90a562706593d7f473a52975ccd04cfe1ed61624)
したがって、空の配列を渡した場合、trueを返すと言える。
Discussion