Kvantor: Forskelle mellem versioner

Content deleted Content added
KG (diskussion | bidrag)
Eksempel på at kvantorers rækkefølge ikke er ligegyldig
Pwe (diskussion | bidrag)
Omformulering
Linje 1:
En kvantor er eten logisk tegnoperator, der specificerer enden [[kvantitet]], hvorover den af kvantoren bundne variable er gyldig.
 
Ofte er kvantorenes rækkefølge i et logisk udsagn ikke ligegyldig.