p V q = q heisst “q folgt aus p”. Das folgt aus p & q = p, denn p V q ist im Allgemeinen gleich (p & q) V (p & non-q) V (non-p & q). Wenn aber q aus p folgt, so wird dies gleich p V Cont V (non-p & q) = p V (non-p & q) = q.