12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday April 06, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 02:51, 27 July 2009
, 02:51, 27 July 2009table bodies → white backgrounds
Line 32:
Line 32:
<br>
<br>
−{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
+{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
|+ <math>\text{Table 1.}~~\text{Syntax and Semantics of a Calculus for Propositional Logic}</math>
|+ <math>\text{Table 1.}~~\text{Syntax and Semantics of a Calculus for Propositional Logic}</math>
|- style="background:#f0f0ff"
|- style="background:#f0f0ff"
Line 670:
Line 670:
<br>
<br>
−{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
+{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
|+ <math>\text{Table A1.}~~\text{Propositional Forms on Two Variables}</math>
|+ <math>\text{Table A1.}~~\text{Propositional Forms on Two Variables}</math>
|- style="background:#f0f0ff"
|- style="background:#f0f0ff"
Line 927:
Line 927:
<br>
<br>
−{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
+{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
|+ <math>\text{Table A2.}~~\text{Propositional Forms on Two Variables}</math>
|+ <math>\text{Table A2.}~~\text{Propositional Forms on Two Variables}</math>
|- style="background:#f0f0ff"
|- style="background:#f0f0ff"
Line 1,219:
Line 1,219:
<br>
<br>
−{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; 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"
Line 1,493:
Line 1,493:
<br>
<br>
−{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; 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"
Line 1,761:
Line 1,761:
<br>
<br>
−{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; 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"
Line 2,021:
Line 2,021:
<br>
<br>
−{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; 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"
Line 2,291:
Line 2,291:
<br>
<br>
−{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; 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"
Line 3,073:
Line 3,073:
<br>
<br>
−{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
+{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
|+ <math>\text{Permutation Substitutions in}~ \operatorname{Sym} \{ a, b, c \}</math>
|+ <math>\text{Permutation Substitutions in}~ \operatorname{Sym} \{ a, b, c \}</math>
|- style="background:#f0f0ff"
|- style="background:#f0f0ff"
Line 3,342:
Line 3,342:
<br>
<br>
−{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
+{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
|+ <math>\text{Permutation Substitutions in}~ \operatorname{Sym} \{ a, b, c \}</math>
|+ <math>\text{Permutation Substitutions in}~ \operatorname{Sym} \{ a, b, c \}</math>
|- style="background:#f0f0ff"
|- style="background:#f0f0ff"
Line 3,445:
Line 3,445:
<br>
<br>
−{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
+{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
|+ <math>\text{Matrix Representations of Permutations in}~ \operatorname{Sym}(3)</math>
|+ <math>\text{Matrix Representations of Permutations in}~ \operatorname{Sym}(3)</math>
|- style="background:#f0f0ff"
|- style="background:#f0f0ff"
