Changes

MyWikiBiz, Author Your Legacy — Wednesday November 13, 2024
Jump to navigationJump to search
Line 3,123: Line 3,123:  
By way of initial orientation, Table 1 lists equivalent expressions for the sixteen functions in a number of different languages for zeroth order logic.
 
By way of initial orientation, Table 1 lists equivalent expressions for the sixteen functions in a number of different languages for zeroth order logic.
   −
{| align="center" border="1" cellpadding="0" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
+
<br>
 +
 
 +
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:90%"
 
|+ '''Table 1.  Propositional Forms on Two Variables'''
 
|+ '''Table 1.  Propositional Forms on Two Variables'''
|- style="background:ghostwhite; height:36px"
+
|- style="background:#e6e6ff; height:36px"
 
| <math>\mathcal{L}_1</math>
 
| <math>\mathcal{L}_1</math>
 
| <math>\mathcal{L}_2</math>
 
| <math>\mathcal{L}_2</math>
Line 3,132: Line 3,134:  
| <math>\mathcal{L}_5</math>
 
| <math>\mathcal{L}_5</math>
 
| <math>\mathcal{L}_6</math>
 
| <math>\mathcal{L}_6</math>
|- style="background:ghostwhite; height:48px"
+
|- style="background:#e6e6ff; height:48px"
 
| &nbsp;
 
| &nbsp;
 
|
 
|
{| align="right" style="background:ghostwhite; text-align:right"
+
{| align="right" style="background:#e6e6ff; text-align:right"
 
|-
 
|-
 
| <math>x\!</math> :
 
| <math>x\!</math> :
Line 3,142: Line 3,144:  
|}
 
|}
 
|
 
|
{| align="center" style="background:ghostwhite"
+
{| align="center" style="background:#e6e6ff"
 
|-
 
|-
 
| 1 1 0 0
 
| 1 1 0 0
Line 3,382: Line 3,384:  
|}
 
|}
 
|}
 
|}
 +
 
<br>
 
<br>
    
Table&nbsp;2 exhibits the same information in a different order, grouping the sixteen functions into seven natural classes.
 
Table&nbsp;2 exhibits the same information in a different order, grouping the sixteen functions into seven natural classes.
   −
{| align="center" border="1" cellpadding="0" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
+
<br>
 +
 
 +
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:90%"
 
|+ '''Table 2.  Propositional Forms on Two Variables'''
 
|+ '''Table 2.  Propositional Forms on Two Variables'''
|- style="background:ghostwhite; height:36px"
+
|- style="background:#e6e6ff; height:36px"
 
| <math>\mathcal{L}_1</math>
 
| <math>\mathcal{L}_1</math>
 
| <math>\mathcal{L}_2</math>
 
| <math>\mathcal{L}_2</math>
Line 3,395: Line 3,400:  
| <math>\mathcal{L}_5</math>
 
| <math>\mathcal{L}_5</math>
 
| <math>\mathcal{L}_6</math>
 
| <math>\mathcal{L}_6</math>
|- style="background:ghostwhite; height:48px"
+
|- style="background:#e6e6ff; height:48px"
 
| &nbsp;
 
| &nbsp;
 
|
 
|
{| align="right" style="background:ghostwhite; text-align:right"
+
{| align="right" style="background:#e6e6ff; text-align:right"
 
|-
 
|-
 
| <math>x\!</math> :
 
| <math>x\!</math> :
Line 3,405: Line 3,410:  
|}
 
|}
 
|
 
|
{| align="center" style="background:ghostwhite"
+
{| align="center" style="background:#e6e6ff"
 
|-
 
|-
 
| 1 1 0 0
 
| 1 1 0 0
Line 3,692: Line 3,697:  
| <p><math>1\!</math></p>
 
| <p><math>1\!</math></p>
 
|}
 
|}
 +
 
<br>
 
<br>
    
The next four Tables expand the expressions of <math>\operatorname{E}f</math> and <math>\operatorname{D}f</math> in two different ways, for each of the sixteen functions.  Notice that the functions are given in a different order, here being collected into a set of seven natural classes.
 
The next four Tables expand the expressions of <math>\operatorname{E}f</math> and <math>\operatorname{D}f</math> in two different ways, for each of the sixteen functions.  Notice that the functions are given in a different order, here being collected into a set of seven natural classes.
   −
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
+
<br>
 +
 
 +
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:90%"
 
|+ '''Table 3.  <math>\operatorname{E}f</math> Expanded Over Differential Features <math>\{ \operatorname{d}x, \operatorname{d}y \}</math>'''
 
|+ '''Table 3.  <math>\operatorname{E}f</math> Expanded Over Differential Features <math>\{ \operatorname{d}x, \operatorname{d}y \}</math>'''
|- style="background:ghostwhite; height:48px"
+
|- style="background:#e6e6ff; height:48px"
 
| &nbsp;
 
| &nbsp;
 
| <math>f\!</math>
 
| <math>f\!</math>
Line 4,006: Line 4,014:  
| <math>((~))\!</math>
 
| <math>((~))\!</math>
 
| <math>((~))\!</math>
 
| <math>((~))\!</math>
|- style="background:ghostwhite; height:36px"
+
|- style="background:#e6e6ff; height:36px"
 
| colspan="2" | Fixed Point Total :
 
| colspan="2" | Fixed Point Total :
 
| <math>4\!</math>
 
| <math>4\!</math>
Line 4,013: Line 4,021:  
| <math>16\!</math>
 
| <math>16\!</math>
 
|}
 
|}
 +
 
<br>
 
<br>
   −
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
+
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:90%"
 
|+ '''Table 4.  <math>\operatorname{D}f</math> Expanded Over Differential Features <math>\{ \operatorname{d}x, \operatorname{d}y \}</math>'''
 
|+ '''Table 4.  <math>\operatorname{D}f</math> Expanded Over Differential Features <math>\{ \operatorname{d}x, \operatorname{d}y \}</math>'''
|- style="background:ghostwhite; height:36px"
+
|- style="background:#e6e6ff; height:36px"
 
| &nbsp;
 
| &nbsp;
 
| <math>f\!</math>
 
| <math>f\!</math>
Line 4,302: Line 4,311:  
| <math>(~)\!</math>
 
| <math>(~)\!</math>
 
|}
 
|}
 +
 
<br>
 
<br>
   −
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
+
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:90%"
 
|+ '''Table 5.  <math>\operatorname{E}f</math> Expanded Over Ordinary Features <math>\{ x, y \}\!</math>'''
 
|+ '''Table 5.  <math>\operatorname{E}f</math> Expanded Over Ordinary Features <math>\{ x, y \}\!</math>'''
|- style="background:ghostwhite; height:36px"
+
|- style="background:#e6e6ff; height:36px"
 
| &nbsp;
 
| &nbsp;
 
| <math>f\!</math>
 
| <math>f\!</math>
Line 4,591: Line 4,601:  
| <math>((~))\!</math>
 
| <math>((~))\!</math>
 
|}
 
|}
 +
 
<br>
 
<br>
   −
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
+
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:90%"
 
|+ '''Table 6.  <math>\operatorname{D}f</math> Expanded Over Ordinary Features <math>\{ x, y \}\!</math>'''
 
|+ '''Table 6.  <math>\operatorname{D}f</math> Expanded Over Ordinary Features <math>\{ x, y \}\!</math>'''
|- style="background:ghostwhite; height:36px"
+
|- style="background:#e6e6ff; height:36px"
 
| &nbsp;
 
| &nbsp;
 
| <math>f\!</math>
 
| <math>f\!</math>
Line 4,880: Line 4,891:  
| <math>(~)\!</math>
 
| <math>(~)\!</math>
 
|}
 
|}
 +
 
<br>
 
<br>
  
12,080

edits

Navigation menu