Suchergebnisse

Suchergebnisse 1-2 von insgesamt 2.

  • Benutzer-Avatarbild

    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…

  • Benutzer-Avatarbild

    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…