Fint at du fikk oppleve smekk på ei skive. Det unner jeg deg vitterlig.. Synd , for det finnes på opptil flere. Såkalt musikalitet 8)
Vi Bergensere skjønner ikke slike kvantorer fra andre siden av fjellene
Ikke rart vi enkle østlendinger faller av lasset
kvantorer, i
prædikatslogik operationer, der
binder variable. Mest benyttet er eksistenskvantoren ∃ og alkvantoren ∀. Er således
x og
y hele tal, betyder ∀
x∃
y (
y>
x) 'for alle
x eksisterer et
y, så
y er større end
x'. Udsagnet har ingen frie variable;
x og
y er bundet af kvantorerne (i modsætning til fx udsagnet
x>2, hvis sandhedsværdi afhænger af værdien af
x). Også kvantoren ∃! med betydningen 'der findes netop et
x, så ...' anvendes hyppigt i matematik.