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 … ” läßt den Konjunktiv 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 weiß z.B., daß p & q der Fall ist( || ) und den zweiten Satz leugnen.