quantification

En kvantifikator, ibland kvantor, av engelskans quantity och latinets quantus, "av en viss sort", är en inom logiken 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.
Se mer på Wikipedia.οrg…