Die Negation solcher Ausdrücke wird formal einfach dadurch gebildet, dass man die Quantoren umkehrt und die anschließende Aussage negiert. Die Negation der Aussage
∀n ∀m ∃p (p= (m + n)/2)
ist daher:
∃n ∃m ∀p (p ≠ (m + n)/2)
Zur Bestimmung des Wahrheitswertes müsste man wissen, aus welchen Zahlenmengen Mengen m, n und p jeweils stammen sollen. Sollen sie z.B. alle reelle Zahlen sein, dann ist die Aussage falsch, denn wie immer man auch m und n wählt: ( m + n ) / 2 ist immer eine reelle Zahl und somit gibt es auch immer eine reelle Zahl p für die gilt: p = ( m + n ) / 2