P ⇒ Q を英語では、P implies Q(PはQ を包含する)などと表現しますが、PとQの真理集合はQの方が大きいのに、どうしてPがQを含むに類する表現をするのでしょうか？由来などを教えて頂けたら幸いです。(気になり始め、夜も眠れません)

#結城浩に聞いてみよう ask.hyuki.net