12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 20:00, 16 May 2008
, 20:00, 16 May 2008→Work Area: make version with overlines for negation
| infer
| infer
| <math>(q)\!</math>
| <math>(q)\!</math>
| next.
|
|}
|}<br>
{| align="center" border="1" 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
| <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.
| next.
|
|
|}
|}
|}
|}