Verneinung von Aussagen

[lkjsdfg]

Hallo, ich habe ein Problem mit Verneinung von Sätzen: Z.b. heißt ein Satz: Es gibt Dinge die keine weißen Autos sind. Mathematisch heißt das ja soviel wie:
E x: nicht (A(x) und W(x)). Wobei E steht für Existiert, A(x) heißt x ist Auto W(x) soll x ist weiß bedeuten.
Wenn ich es verneine, heißt es dann Alle Dinge sind weiße Autos. ist das richtig soweit? Formal also A x: A(x) und W(x)

Das andere Problem habe ich mit der oberen Aussage an sich. "keine weißen Autos" verstehe ich als nicht (A(x) und W(x)) aber wenn ich die Klammer auflöse steht ja nicht A(x) oder nicht W(x). Aber bedeutet das nicht mehr als nur "keine weißen Autos"?

gruß, lkjsdfg

[Nein]

Wenn x kein weißes Auto ist, ist x kein Auto oder nicht weiß.

Wenn x kein Auto oder nicht weiß ist, ist x kein weißes Auto.

Das ist also völlig äquivalent. Dein erster Absatz ist korrekt.