Wir sagten: Wenn p aus q folgt aber
nicht q aus p so sagt q mehr als p; Wenn nun aber aus p folgt daß q falsch ist nicht aber aus q daß p falsch ist, was dann?
 Aus [q|p] folgt ~q; aus q nicht ~p –?