Kvantor: Forskelle mellem versioner
Content deleted Content added
m link |
Tile01 (diskussion | bidrag) omformulering af uforståelige sætninger, uddybelse af kvantorbetydningerne |
||
Linje 1:
En '''kvantor''' er en [[logisk operator]], der specificerer den [[kvantitet]],
Eksempel
1) For alle x tilhørende M, så findes et y
2) Der findes
== Kort liste over kvantorer ==
Line 19 ⟶ 18:
! Kvantor !! Betydning
|-
| <math>\forall</math> (al) || For alle
|-
| <math>\exists</math> (eksistens) || Der eksisterer mindst én / eksisterer der mindst én
|}
|