Eksistenskvantor

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

Eksistenskvantor er en logisk kvantor. Formlen

 \exists{x}\, P  \quad

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