## Franklin's Notes

### Universal and Existential statements

A statement $\varphi$ is universal iff it is in prenex form and all of its quantifiers are $\forall$, and it is existential iff it is in prenex form and all of its quantifiers are $\exists$.

# first-order-logic

back to home page