タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

論理と集合論に関するlittle_elephantのブックマーク (1)

  • 論理包含 - Wikipedia

    この節は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "論理包含" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2024年3月) 論理包含と条件文は同じものとすることが多い。しかし必ずしもそうではなく、論理包含は「断言」的関係、条件文は「予想」的関係だとして区別し、また、次のように表現し分けることもある。 (、P は Q に包含される) (if P then Q、もし P ならば Q が成り立つ) ただし、上記の利用法とは異なり は伴意の記号としても使われることに注意。 例[編集] P が偽ならば、Q の真偽にかかわらず「P ならば Q」が真である (en:Vacuous truth)、という

    論理包含 - Wikipedia
    little_elephant
    little_elephant 2011/07/08
    集合演算の包含と論理の包含って、包含の向きが逆転するんだっけ‥ 「人間の集合」は「哺乳類の集合」に含まれるけど、命題「人間である」は「哺乳類である」を含意するっていうので良いのかな‥
  • 1