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.