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