Kvantor: Forskelle mellem versioner
Content deleted Content added
Talouv (diskussion | bidrag) m tilføjet en liste med \forall og \exists |
Sarrus (diskussion | bidrag) m fremhæver opslagsord |
||
Linje 1:
En '''kvantor''' er en logisk operator, der specificerer den [[kvantitet]], hvorover den af kvantoren bundne variable er gyldig.
Ofte er kvantorenes rækkefølge i et logisk udsagn ikke ligegyldig.
|