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]

filosofi Stub
Denne filosofiartikel er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.
Matematik Stub
Denne artikel om matematik er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.