kvantifikator
kvantifikator (av kvantifiera, av engelska quantify, av medeltidslat. quantiʹfico, av latin quaʹntus ’av en viss storlek’), i logiken en operator som binder en variabel och därvid bildar ett uttryck vars giltighet beror på antalet objekt som satisfierar det okvantifierade uttrycket.
Typiska exempel är allkvantifikatorn och existenskvantifikatorn, men andra kvantifikatorer, s.k. generaliserade kvantifikatorer, har under senare år studerats av logiker och lingvister, bl.a. i samband med försök att formalisera naturliga språk.
Litteraturanvisning
Information om artikeln
Källangivelse