12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 05:05, 11 November 2013
, 05:05, 11 November 2013→Computation of εf11
Line 3,858:
Line 3,858:
& = && 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)
