12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 03:40, 19 September 2009
, 03:40, 19 September 2009→Worm's Eye View
====Worm's Eye View====
====Worm's Eye View====
Let us run through the initial example again, this time attempting to interpret the formulas that develop at each stage along the way.
Let's run through the initial example again, this time attempting to interpret the formulas that develop at each stage along the way. We begin with a proposition or a boolean function <math>f(p, q) = pq.\!</math>
We begin with a proposition or a boolean function <math>f(p, q) = pq.\!</math>
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"