Alkvantor

Fra Wikipedia, den frie encyklopædi
Gå til: navigation, søg

Alkvantor er en logisk kvantor, der betyder for alle. Helt præcist læses

 \forall{x}\, P

således: For alle x gælder at P.

Da nogle bruger ordet "alle" i skiftende betydninger (deriblandt nogle som er utilsigtede i denne sammenhæng) kan det være bedre pædagogik at læse udsagnet som: For ethvert x gælder at P.