12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 18:10, 3 June 2008
, 18:10, 3 June 2008→Current Version @ PlanetMath : TeX Format: update
\end{tabular}\end{center}
\end{tabular}\end{center}
Table 5 summarizes the basic notations that are needed to describe the (first order) differential extensions of propositional calculi in a corresponding manner.
The \textit{first order differential extension} of $A^\circ$ extends the initial alphabet, $\mathfrak{A} = \{ ``a_1", \ldots, ``a_n" \},$ by a \textit{first order differential alphabet} $\operatorname{d}\mathfrak{A} = \{ ``\operatorname{d}a_1", \ldots, ``\operatorname{d}a_n" \},$ resulting in the \textit{first order extended alphabet}, $\operatorname{E}\mathfrak{A} = \mathfrak{A} \cup \operatorname{d}\mathfrak{A}.$
$\dots$
Table 5 summarizes the notations that are needed to describe the first order differential extensions of propositional calculi in a corresponding manner.
\begin{center}\begin{tabular}{|l|l|l|l|}
\begin{center}\begin{tabular}{|l|l|l|l|}