Assertion: predicate's variable | /r/CreatedBy | propositional variables
Facets:
value: in higher-order logic
type: OTHER
Source sentences:
text: In higher-order logic, predicate variables correspond to propositional variables which can stand for well-formed formulas of the same logic, and such variables can be quantified by means of (at least) second-order quantifiers.