論理学の『⊃』って集合論の『⊃』とは違うの？ [転載禁止]©2ch.net

[0001 １３２人目の素数さん 2015/07/14(火) 21:47:27.56 ID:DBIaoFS3]

∀p ∈ X → ∀p ∈ Y ならば X ⊂ Yだとおもってたんだけど

[0002 １３２人目の素数さん 2015/07/14(火) 21:49:00.68 ID:QXVw6i0A]

このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所

[0003 １３２人目の素数さん 2015/07/14(火) 21:50:06.56 ID:DBIaoFS3]

途中で書き込んでしまった

よく工学系や情報科学系の参考書や技術書を読んでると
(P ⊃ Q かつ Q ⊃ R) ⊃ (P ⊃ R)を推移律といいます
みたいに書いてあって、最初はこれって間違いだろとおもってたけど、あまりにも多すぎるから
俺が間違ってるのかと不安になってきた