Eksistenskvantor

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

Eksistenskvantor er en logisk kvantor. Formlen

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