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:44, 16 May 2008
, 19:44, 16 May 2008→Work Area: mod table
==Work Area==
==Work Area==
{| 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%"
|
|
{| 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 || (''A'') || and || (d''A'') || infer || (''A'') || next. ||
|
| From
| (''A'')
| and
| (d''A'')
| infer
| (''A'')
| next.
|
|-
|-
| || From || (''A'') || and || d''A'' || infer || ''A'' || next. ||
|
| From
| (''A'')
| and
| d''A''
| infer
| ''A''
| next.
|
|-
|-
| || From || ''A'' || and || (d''A'') || infer || ''A'' || next. ||
|
| From
| ''A''
| and
| (d''A'')
| infer
| ''A''
| next.
|
|-
|-
| || From || ''A'' || and || d''A'' || infer || (''A'') || next. ||
|
| From
| ''A''
| and
| d''A''
| infer
| (''A'')
| next.
|
|}
|}
|}
|}
