Changes

\end{itemize}

\end{itemize}

$\dots$

A proposition in a differential extension of a universe of discourse is called a \textit{differential proposition} and forms the analogue of a system of differential equations in \PMlinkname{ordinary calculus}{Calculus}.  With these constructions, the first order extended universe $\operatorname{E}A^\circ$ and the first order differential proposition $f : \operatorname{E}A \to \mathbb{B},$ we have arrived, in concept at least, at the foothills of differential logic.

Table 5 summarizes the notations that are needed to describe the first order differential extensions of propositional calculi in a corresponding manner.

Table 5 summarizes the notations that are needed to describe the first order differential extensions of propositional calculi in a systematic manner.

\begin{center}\begin{tabular}{|l|l|l|l|}

\begin{center}\begin{tabular}{|l|l|l|l|}