MyWikiBiz

Changes

Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)

Revision as of 19:54, 16 May 2008

192 bytes added ,  19:54, 16 May 2008
→‎Work Area: sub[q/A]
Line 1,247: Line 1,247:  
|  
 
|  
 
| From
 
| From
−
| (''A'')
+
| <math>(q)\!</math>
 
| and
 
| and
−
| (d''A'')
+
| <math>(\operatorname{d}q)\!</math>
 
| infer
 
| infer
−
| (''A'')
+
| <math>(q)\!</math>
 
| next.
 
| next.
 
| &nbsp;
 
| &nbsp;
Line 1,257: Line 1,257:  
| &nbsp;
 
| &nbsp;
 
| From
 
| From
−
| (''A'')
+
| <math>(q)\!</math>
 
| and
 
| and
−
| d''A''
+
| <math>\operatorname{d}q\!</math>
 
| infer
 
| infer
−
| ''A''
+
| <math>q\!</math>
 
| next.
 
| next.
 
| &nbsp;
 
| &nbsp;
Line 1,267: Line 1,267:  
| &nbsp;
 
| &nbsp;
 
| From
 
| From
−
| ''A''
+
| <math>q\!</math>
 
| and
 
| and
−
| (d''A'')
+
| <math>(\operatorname{d}q)\!</math>
 
| infer
 
| infer
−
| ''A''
+
| <math>q\!</math>
 
| next.
 
| next.
 
| &nbsp;
 
| &nbsp;
Line 1,277: Line 1,277:  
| &nbsp;
 
| &nbsp;
 
| From
 
| From
−
| ''A''
+
| <math>q\!</math>
 
| and
 
| and
−
| d''A''
+
| <math>\operatorname{d}q\!</math>
 
| infer
 
| infer
−
| (''A'')
+
| <math>(q)\!</math>
 
| next.
 
| next.
 
| &nbsp;
 
| &nbsp;
 
|}
 
|}
 
|}
 
|}
Jon Awbrey
12,154

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/67225"