12,154
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 14:42, 17 May 2008
, 14:42, 17 May 2008→Work Area: add table captions
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
{| 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%"
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
|
|
| From
| From
| <math>(q)\!</math>
| <math>\overline{q}\!</math>
| and
| and
| <math>(\operatorname{d}q)\!</math>
| <math>\overline{\operatorname{d}q}\!</math>
| infer
| infer
| <math>(q)\!</math>
| <math>\overline{q}\!</math>
| next.
| next.
|
|
|
|
| From
| From
| <math>(q)\!</math>
| <math>\overline{q}\!</math>
| and
| and
| <math>\operatorname{d}q\!</math>
| <math>\operatorname{d}q\!</math>
| <math>q\!</math>
| <math>q\!</math>
| and
| and
| <math>(\operatorname{d}q)\!</math>
| <math>\overline{\operatorname{d}q}\!</math>
| infer
| infer
| <math>q\!</math>
| <math>q\!</math>
| <math>\operatorname{d}q\!</math>
| <math>\operatorname{d}q\!</math>
| infer
| infer
| <math>(q)\!</math>
| <math>\overline{q}\!</math>
| next.
| next.
|
|
|}
|}
|}<br>
|}
<br>
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
{| 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%"
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
|
|
| From
| From
| <math>\overline{q}\!</math>
| <math>(q)\!</math>
| and
| and
| <math>\overline{\operatorname{d}q}\!</math>
| <math>(\operatorname{d}q)\!</math>
| infer
| infer
| <math>\overline{q}\!</math>
| <math>(q)\!</math>
| next.
| next.
|
|
|
|
| From
| From
| <math>\overline{q}\!</math>
| <math>(q)\!</math>
| and
| and
| <math>\operatorname{d}q\!</math>
| <math>\operatorname{d}q\!</math>
| <math>q\!</math>
| <math>q\!</math>
| and
| and
| <math>\overline{\operatorname{d}q}\!</math>
| <math>(\operatorname{d}q)\!</math>
| infer
| infer
| <math>q\!</math>
| <math>q\!</math>
| <math>\operatorname{d}q\!</math>
| <math>\operatorname{d}q\!</math>
| infer
| infer
| <math>\overline{q}\!</math>
| <math>(q)\!</math>
| next.
| next.
|
|
|}
|}
|}
|}
<br>