quantifier
(Q592911)
logical operator specifying how many entities in the domain of discourse that satisfy an open formula
logical operator specifying how many entities in the domain of discourse that satisfy an open formula
Language:
Current Data About
quantifier
other details
aliases |
quantor logical quantification logical quantifier quantification |
description | logical operator specifying how many entities in the domain of discourse that satisfy an open formula |
External Links