Kvantor: Forskelle mellem versioner

Content deleted Content added
m tilføjet en liste med \forall og \exists
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.