File:QuantifierScopes_svg.svg · Wikimedia Commons · See Wikimedia Commons
kvantifikator
Sign in to saveAlso 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