この、酒場で未成年が飲酒してるか?を検出する例もわかりやすいね><「この酒場で呑んでる『全員が』成人である」→trueが合法で、誰もいなければtrue「この酒場で呑んでる人に『ひとりでも』未成年が含まれてる」→falseが合法で、誰も居なければfalse・・・なので、話題の問題のやつは空の配列にはtrueを返すのが正しい><
思考の /dev/null