Eksistenskvantor

Fra Wikipedia, den frie encyklopædi

Eksistenskvantor er en logisk kvantor. Formlen

\exists{x}\, P  \quad

læses: Der findes mindst én x, for hvilken det gælder at P.