12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday November 27, 2024
Jump to navigationJump to searchDirectory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 19:54, 16 May 2008
, 19:54, 16 May 2008→Work Area: sub[q/A]
|
|
| From
| From
| (''A'')
| <math>(q)\!</math>
| and
| and
| (d''A'')
| <math>(\operatorname{d}q)\!</math>
| infer
| infer
| (''A'')
| <math>(q)\!</math>
| next.
| next.
|
|
|
|
| From
| From
| (''A'')
| <math>(q)\!</math>
| and
| and
| d''A''
| <math>\operatorname{d}q\!</math>
| infer
| infer
| ''A''
| <math>q\!</math>
| next.
| next.
|
|
|
|
| From
| From
| ''A''
| <math>q\!</math>
| and
| and
| (d''A'')
| <math>(\operatorname{d}q)\!</math>
| infer
| infer
| ''A''
| <math>q\!</math>
| next.
| next.
|
|
|
|
| From
| From
| ''A''
| <math>q\!</math>
| and
| and
| d''A''
| <math>\operatorname{d}q\!</math>
| infer
| infer
| (''A'')
| <math>(q)\!</math>
| next.
| next.
|
|
|}
|}
|}
|}
