Eksistenskvantor

Fra Wikipedia, den frie encyklopædi
Spring til navigation Spring til søgning
Stop hand nuvola.svgDenne side er foreslået slettet
– 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. Klik her for at se sletningsforslaget.

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.