quantifier

logical operator specifying how many entities in the domain of discourse that satisfy an open formula

카테고리: