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ässt 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 weiss [b|z].B., dass p & q der Fall ist) und den zweiten Satz leugnen.