Eksistenskvantor

Fra Wikipedia, den frie encyklopædi
Gå til: navigation, søg
Stop hand nuvola.svg Denne side er foreslået omskrevet
– da en skribent har vurderet at dette emne er for snævert til at kunne bære en artikel i sig selv. Artiklen bør snarest sammenskrives med en anden artikel eller slettes. Hvis du er uenig i denne vurdering, bør du snarest sandsynliggøre på diskussionssiden, at emnet berettiger en hel artikel.

Eksistenskvantoren, , er en logisk kvantor anvendt indenfor prædikatslogikken. Formlen

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

Se også[redigér | redigér wikikode]