kvantifikator
Also known as quantor, logical quantification, logical quantifier, quantification
logical operator specifying how many entities in the domain of discourse that satisfy an open formula
Article · Svenska
En kvantifikator, ibland kvantor, av engelskans quantity och latinets quantus (av en viss sort), är inom logiken en operator som binder en fri variabel i ett logiskt predikat, och på så sätt bildar ett uttryck vars giltighet beror på antal objekt som uppfyller det okvantifierade uttrycket.
Abstract from DBpedia / Wikipedia · CC BY-SA