「p ⇒ q」 の集合論的な書きかたには、以下の 2つがあるようです。

　　（1） p ⊃ q.
　　（2） p ⊂ q.

　哲学・記号論理学の書物では、「p ⊃ q」 を使い、集合論の書物では 「p ⊂ q」 を使っているようです。
　哲学・記号論理学を学習したひとが、「p ⇒ q」 を 「p ⊃ q」 として覚えて、そのあとで、数学 （集合論） の書物を読んだときに、「p ⇒ q ≡ p ⊂ q」 とされていることを知って混乱するようです。ちなみに、私は、哲学・記号論理学の書物を、まず、読んで、それから、数学を学習したので、混乱しました。私は、「p ⇒ q」 を、本 エッセー のなかで述べたように、以下のような翻訳として覚えています。そのように覚えている理由は、ウィトゲンシュタイン が そういうふうに使っていたので、他意はないですが。

　　（1） p ⊃ q.
　　（2） p ∈ q.