„Eine Existenzaussage ist nur dann falsch, wenn die hinter dem ''Existenzquantor'' stehende Aussageform unerfüllbar ist, sonst ist sie wahr oder anders ausgedrückt, sie ist wahr, wenn die Aussageform erfüllbar ist.“<ref>{{Literatur |Autor=Herbert Bernstein |Titel=PC-Digital-Labor |TitelErg=Praxisnahes Lernen mit TTL- und CMOS-Bausteinen |Verlag=Franzis |Ort=Poing |Jahr=2006 |ISBN=3-7723-4224-8 |Seiten=61 |Online=[http://books.google.de/books?id=RIYs81bHcBsC&pg=PA61&hl=de&sa=X Online-Version]}}</ref>
''[[Prädikatenlogik]]:'' [[Operator]], der ausdrückt, dass es mindestens ein Objekt gibt, welches bestimmte Bedingungen erfüllt