Suchergebnisse
Suchergebnisse 1-2 von insgesamt 2.
Hier erfahren Sie, wie einfach Sie Ihren Browser aktualisieren können.
-
Zitat von Trade: „ Zitat von RushDen: „Vom Existenzquantor ist die Negation der Allquantor.“Warum ist das so? Wäre das nicht eher dann "keins"? Weil das Gegenteil von "mindestens eins" ist doch "keins", oder? Schließlich kann doch der Existenzquantor theoretisch auch auf den Allquantor abzielen ("alle" sind ja auch "mindestens eins"). Oder zielt das dann im weiteren Verlauf auf die Gültigkeit des letztens Teils (z. B. n=2m) ab? Bei c ist mir das nämlich klar. Nur für sich betrachtet macht es irg…
-
Zitat von ~blaze~: „ Worauf du achten solltest: $\neg \forall s \in S . E(S) \equiv \neg \exists s \in S . \neg E(S)$ die Negation wird hineingezogen die fällt nicht einfach weg. Anschließend kann man dann teilweise De-Morgan anwenden. Es gibt natürlich noch mehr Regeln, die man anwenden kann (z.B. Verschachtelung hat gewisse Eigenschaften). “ Das ist falsch. Richtig ist $\neg (\forall s \in S . E(S)) \equiv \exists s \in S . \neg E(S)$ (ohne Negation am Anfang). So, wie ich auch in einem vorige…