タグ

ブックマーク / ask.hyuki.com (1)

  • 結城浩に聞いてみよう

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

    結城浩に聞いてみよう
    ublftbo
    ublftbo 2019/06/12
    Pであることは、Qであることをも意味する。だから、《(論理)包含》よりもまだ、《含意》のほうが良いのでしょうね(前者は特に、部分集合の意味での《含む(包含関係)》を想起する)。
  • 1