Alkvantor

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.

Alkvantoren, , er en logisk kvantor, der betyder for alle. Helt præcist læses

således: For alle x gælder at P.

Da nogle bruger ordet "alle" i skiftende betydninger (deriblandt nogle som er utilsigtede i denne sammenhæng) kan det være bedre pædagogik at læse udsagnet som: For ethvert x gælder at P.

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