Assertion: existential quantifier | /r/HasProperty | \((\exists y_1),\ldots
Facets:
Source sentences:
text: If \(\phi\) is a formula and in \(\phi\) a token of \((\forall x)\) occurs in the syntactic scope of a number of existential quantifiers which include \((\exists y_1),\ldots ,(
text: If \(\phi\) is a formula and in \(\phi\) a token of \(\wedge\) occurs in the syntactic scope of a number of existential quantifiers which include \((\exists y_1),\ldots ,(