12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 03:20, 17 May 2008
, 03:20, 17 May 2008→Casual introduction: update
:* <p><math>q\ \operatorname{d}q</math> describes <math>j\!</math></p>
:* <p><math>q\ \operatorname{d}q</math> describes <math>j\!</math></p>
Table 3 exhibits the rules of inference that give the differential quality <math>\operatorname{d}q\!</math> its meaning in practice.
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
|+ '''Table 3. Differential Inference Rules'''
|
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
|
| From
| <math>\overline{q}\!</math>
| and
| <math>\overline{\operatorname{d}q}\!</math>
| infer
| <math>\overline{q}\!</math>
| next.
|
|-
|
| From
| <math>\overline{q}\!</math>
| and
| <math>\operatorname{d}q\!</math>
| infer
| <math>q\!</math>
| next.
|
|-
|
| From
| <math>q\!</math>
| and
| <math>\overline{\operatorname{d}q}\!</math>
| infer
| <math>q\!</math>
| next.
|
|-
|
| From
| <math>q\!</math>
| and
| <math>\operatorname{d}q\!</math>
| infer
| <math>\overline{q}\!</math>
| next.
|
|}
|}
…
…