Der Satz “wenn p, so q”, wie z.B. “wenn er kommt, wird er mir etwas mitbringen”, ist nicht der gleiche wie “p ⊂ q”. Denn der Satz “Wenn … , so … ” laesst den Konjuntiv zu, der Satz “p ⊂ q” nicht. – Wer Einem auf den Satz “Wenn er kommt, ....” antwortet “Das ist nicht wahr”, der will nicht sagen: “Er kommt, und wird nichts mitbringen”, sondern: “Er mag kommen und nichts mitbringen”.
      Aus “p ⊂ q” folgt nicht “Wenn p, so klein q”; denn ich kann sehr wohl den ersten Satz behaupten (ich weiss z.B., daß p & q der Fall ist[(| )] und den zweiten Satz leugnen.