p q = q heißt “q folgt aus p”. Das folgt aus p & q = p, denn p q ist im allgemeinen gleich (p & q) (p & non-q) (non-p & q). Wenn aber q aus p folgt, so wird dies gleich p Cont (non-p & q) = p (non-p & q) = q.