Für alle Aussagen p gilt: Wenn p nicht allgemein gültig ist,
dann ist (nicht p) allgemein gültig.
Hi
Die Aussage, p sei nicht allgemein gültig, schließt nicht aus, dass es Vorraussetzungen gibt, unter denen p erfüllt ist. Jedoch darf p nicht für alle Vorraussetungen erfüllt sein, da es sonst allgemeingültig wäre.
Da (nicht p) genau dann falsch ist, wenn p wahr ist, ist es möglich, dass (nicht p) nicht gültig ist. Nämlich genau dann, wenn p gültig ist (was ja durchaus passieren kann - siehe oben). Somit kann auch (nicht p) nicht immer allgemeingültig sein.
Nur wenn p unmöglich ist, also für keine Vorraussetzung erfüllt, dann ist (nicht p) allgemeingültig.