mokduk hat schon alles geschrieben, aber kürzer und allgemein geltend: wenn du eine wahre aussage deduzieren kannst, gilt die annahme. wenn du davor eine beschränkung gemacht hast, gilt die annahme unter der beschränkung. schau die wahrheitstafel der implikation an, aus etwas wahrem kann nichts...