12,089
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 05:05, 11 November 2013
, 05:05, 11 November 2013→Computation of εf11
& = && f_{11}(u, v)
& = && f_{11}(u, v)
\\[4pt]
\\[4pt]
& = && \texttt{(} u \texttt{((} v \texttt{))}
& = && \texttt{(} u \texttt{(} v \texttt{))}
\\[4pt]
\\[4pt]
& = && \texttt{ } u \texttt{ } v \texttt{ } \cdot f_{11}(1, 1)
& = && \texttt{ } u \texttt{ } v \texttt{ } \cdot f_{11}(1, 1)