Welcher Art ist die Entdeckung, daß non-p & non-p = non-p, daß non-p ein Sonderfall von non-p & non-q ist? Gibt es nicht in demselben Sinne eine