p ⌵ q = q heißt „q folgt aus p”.
   Das folgt aus p ∙ q = p, denn p ⌵ q ist im allgemeinen = (p ∙ q) ⌵ (p ∙ ~q) ⌵ (~p ∙ q). Wenn aber q aus p folgt, so wird dies = p ⌵ Cont ⌵ (~p ∙ q) = p ⌵ (~p ∙ q) = q.