12,154
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 14:08, 16 May 2008
, 14:08, 16 May 2008→Materials from "Dif Log Dyn Sys" for Reuse Here: copy table to work area
==Work Area==
==Work Area==
<font face="courier new">
{| 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 || (''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. ||
|}
|}
</font><br>