quantifier (Q592911)
logical operator specifying how many entities in the domain of discourse that satisfy an open formula
Language:
other details