Es sei eine zweistellige Relation in . Verneinen Sie die folgenden Aussagen und führen Sie die jeweilige Verneinung so weit wie möglich aus:
Für alle gibt es ein mit .
Nicht für jedes gibt es reelle Zahlen mit und und .
Es existiert ein , so daß für alle gilt: .
Für jedes gibt es genau ein mit .