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$.

model-theory

first-order-logic

back to home page