14.
p folgt aus q heißt offenbar || jedenfalls daß q ∙ ~p kein möglicher Satz sein kann sondern eine Kontradiktion ist. – Ist q ∙ ~p ein sinnvoller Satz dann folgt p nicht aus q.