Wenn ich sagen würde: ich nenne nur das eine Übersetzung von ‚p’, wenn er p tut, so heißt das natürlich p im Gegensatz zu [p|q].