Eksistenskvantor

Fra Wikipedia, den frie encyklopædi
Spring til navigation Spring til søgning
Stop hand nuvola.svgDenne 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]

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