Alkvantor

Fra Wikipedia, den frie encyklopædi

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.