Franklin's Notes

Notation for First-order Logic

The following are notational conventions/abbreviations that we use when referring to sentences in first-order logic, for the sake of concision. First of all, we will use all of the conventions introduced to deal with sentential logic . In addition to these, we accept the following, as used by Chang and Kiesler:

The following convention is very important: $t(v_0 \cdots v_n)$ is used to denote a term $t$ whose variables are included in ${v_0,...,v_n}$, and $\varphi(v_0\cdots v_n)$ to denote a formula whose free variables form a subset of ${v_0,...,v_n}$.




back to home page