Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus
(view source)
Revision as of 03:12, 17 May 2008
991 bytes added
,
03:12, 17 May 2008
→Casual introduction
:
update
Line 311:
Line 311:
:* <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.
+
|
+
|}
+
|}
…
…
Jon Awbrey
12,080
edits