12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Thursday May 02, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 16:00, 22 September 2009
, 16:00, 22 September 2009→Propositional Forms on Two Variables: sub [over/Over}
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
|+ <math>\text{Table A3.}~~\operatorname{E}f ~\text{Expanded Over Differential Features}~ \{ \operatorname{d}p, \operatorname{d}q \}</math>
|+ <math>\text{Table A3.}~~\operatorname{E}f ~\text{Expanded over Differential Features}~ \{ \operatorname{d}p, \operatorname{d}q \}</math>
|- style="background:#f0f0ff"
|- style="background:#f0f0ff"
| width="10%" |
| width="10%" |
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
|+ <math>\text{Table A4.}~~\operatorname{D}f ~\text{Expanded Over Differential Features}~ \{ \operatorname{d}p, \operatorname{d}q \}</math>
|+ <math>\text{Table A4.}~~\operatorname{D}f ~\text{Expanded over Differential Features}~ \{ \operatorname{d}p, \operatorname{d}q \}</math>
|- style="background:#f0f0ff"
|- style="background:#f0f0ff"
| width="10%" |
| width="10%" |
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
|+ <math>\text{Table A5.}~~\operatorname{E}f ~\text{Expanded Over Ordinary Features}~ \{ p, q \}</math>
|+ <math>\text{Table A5.}~~\operatorname{E}f ~\text{Expanded over Ordinary Features}~ \{ p, q \}</math>
|- style="background:#f0f0ff"
|- style="background:#f0f0ff"
| width="10%" |
| width="10%" |
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
|+ <math>\text{Table A6.}~~\operatorname{D}f ~\text{Expanded Over Ordinary Features}~ \{ p, q \}</math>
|+ <math>\text{Table A6.}~~\operatorname{D}f ~\text{Expanded over Ordinary Features}~ \{ p, q \}</math>
|- style="background:#f0f0ff"
|- style="background:#f0f0ff"
| width="10%" |
| width="10%" |
