existential statement
Eine Aussage in der Logik, die behauptet, dass mindestens ein Objekt einer bestimmten Eigenschaft oder Menge angehört.
A logical statement asserting that at least one object exists with a certain property.
-
In der Prädikatenlogik ist die Existenzaussage durch das Existenzquantor gekennzeichnet.— In predicate logic, the existential statement is characterized by the existential quantifier.
-
Diese Existenzaussage lässt sich mathematisch formal beweisen.— This existential statement can be mathematically proven formally.
Синонимы
Existenzbehauptung·Existenzbeleg