Kvantor: Forskelle mellem versioner

Content deleted Content added
m link
omformulering af uforståelige sætninger, uddybelse af kvantorbetydningerne
Linje 1:
En '''kvantor''' er en [[logisk operator]], der specificerer den [[kvantitet]], hvoroversom denman afudtaler kvantorensig bundne variable er gyldigom.
 
OfteTypisk er kvantorernes rækkefølge i et logisk udsagn ikke ligegyldig.
 
Eksempel ( I dagligdags sprog ):
 
Hvis f.eks. M er talmængden [0 ; Uendelig [ og man har de to logiske udsagn ( Hvor x og y er tal ):
 
1) For alle x tilhørende M, findes et y hvormed: y er større end x.
 
2) Der findes etmindst ét y, så for alle x tilhørende M er: y større end x.
 
Gælder at deDe to udsagn dels siger noget forskelligt,. Det første udsagn sandt og idet øvrigtandet er falsk.
det første udsagn sandt og det andet udsagn er falskt.
 
== 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
|}