Assertion: quantifier | /r/CapableOf | operate on mathematical formula
Facets:
Source sentences:
text: In mathematical logic, in particular in first-order logic, a quantifier achieves a similar task, operating on a mathematical formula rather than an English sentence.
text: In mathematical logic, in particular in first-order logic, a quantifier achieves a similar task, operating on a mathematical formula rather than an English sentence.