Changes

MyWikiBiz, Author Your Legacy — Tuesday May 14, 2024
Jump to navigationJump to search

User:Jon Awbrey/ATLAS (view source)

Revision as of 13:54, 12 July 2007

3,081 bytes added ,  13:54, 12 July 2007
→‎Table 65. Induced Transformation on Propositions: make extra copy
Line 9,206: Line 9,206:  
o------------o----------o-----------o----------o------------o
 
o------------o----------o-----------o----------o------------o
 
</pre>
 
</pre>
 +
 +
<br><font face="courier new">
 +
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
 +
|+ Table 65.  Induced Transformation on Propositions
 +
|- style="background:paleturquoise"
 +
| ''X''<sup>&nbsp;&bull;</sup>
 +
| colspan="3" |
 +
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:80%"
 +
| &larr;
 +
| ''F''&nbsp;=&nbsp;‹''f''&nbsp;,&nbsp;''g''›
 +
| &larr;
 +
|}
 +
| ''U''<sup>&nbsp;&bull;</sup>
 +
|- style="background:paleturquoise"
 +
| ''f''<sub>''i''</sub>‹''x'',&nbsp;''y''›
 +
|
 +
{|
 +
|
 +
{|
 +
| u =
 +
|-
 +
| v =
 +
|}
 +
|-
 +
|
 +
{|
 +
| x =
 +
|-
 +
| y =
 +
|}
 +
|}
 +
|
 +
{|
 +
|
 +
{|
 +
| 1 1 0 0
 +
|-
 +
| 1 0 1 0
 +
|}
 +
|-
 +
|
 +
{|
 +
| 1 1 1 0
 +
|-
 +
| 1 0 0 1
 +
|}
 +
|}
 +
|
 +
{|
 +
|
 +
{|
 +
| = u
 +
|-
 +
| = v
 +
|}
 +
|-
 +
|
 +
{|
 +
| = f‹u,&nbsp;v›
 +
|-
 +
| = g‹u,&nbsp;v›
 +
|}
 +
|}
 +
| ''f''<sub>''j''</sub>‹''u'',&nbsp;''v''›
 +
|-
 +
|
 +
{| cellpadding="2" style="background:lightcyan"
 +
| f<sub>0</sub>
 +
|-
 +
| f<sub>1</sub>
 +
|-
 +
| f<sub>2</sub>
 +
|-
 +
| f<sub>3</sub>
 +
|-
 +
| f<sub>4</sub>
 +
|-
 +
| f<sub>5</sub>
 +
|-
 +
| f<sub>6</sub>
 +
|-
 +
| f<sub>7</sub>
 +
|}
 +
|
 +
{| cellpadding="2" style="background:lightcyan"
 +
| ()
 +
|-
 +
| &nbsp;(x)(y)&nbsp;
 +
|-
 +
| &nbsp;(x)&nbsp;y&nbsp;&nbsp;
 +
|-
 +
| &nbsp;(x)&nbsp;&nbsp;&nbsp;&nbsp;
 +
|-
 +
| &nbsp;&nbsp;x&nbsp;(y)&nbsp;
 +
|-
 +
| &nbsp;&nbsp;&nbsp;&nbsp;(y)&nbsp;
 +
|-
 +
| &nbsp;(x,&nbsp;y)&nbsp;
 +
|-
 +
| &nbsp;(x&nbsp;&nbsp;y)&nbsp;
 +
|}
 +
|
 +
{| cellpadding="2" style="background:lightcyan"
 +
| 0 0 0 0
 +
|-
 +
| 0 0 0 1
 +
|-
 +
| 0 0 1 0
 +
|-
 +
| 0 0 1 1
 +
|-
 +
| 0 1 0 0
 +
|-
 +
| 0 1 0 1
 +
|-
 +
| 0 1 1 0
 +
|-
 +
| 0 1 1 1
 +
|}
 +
|
 +
{| cellpadding="2" style="background:lightcyan"
 +
| ()
 +
|-
 +
| ()
 +
|-
 +
| &nbsp;(u)(v)&nbsp;
 +
|-
 +
| &nbsp;(u)(v)&nbsp;
 +
|-
 +
| &nbsp;(u,&nbsp;v)&nbsp;
 +
|-
 +
| &nbsp;(u,&nbsp;v)&nbsp;
 +
|-
 +
| &nbsp;(u&nbsp;&nbsp;v)&nbsp;
 +
|-
 +
| &nbsp;(u&nbsp;&nbsp;v)&nbsp;
 +
|}
 +
|
 +
{| cellpadding="2" style="background:lightcyan"
 +
| f<sub>0</sub>
 +
|-
 +
| f<sub>0</sub>
 +
|-
 +
| f<sub>1</sub>
 +
|-
 +
| f<sub>1</sub>
 +
|-
 +
| f<sub>6</sub>
 +
|-
 +
| f<sub>6</sub>
 +
|-
 +
| f<sub>7</sub>
 +
|-
 +
| f<sub>7</sub>
 +
|}
 +
|-
 +
|
 +
{| cellpadding="2" style="background:lightcyan"
 +
| f<sub>8</sub>
 +
|-
 +
| f<sub>9</sub>
 +
|-
 +
| f<sub>10</sub>
 +
|-
 +
| f<sub>11</sub>
 +
|-
 +
| f<sub>12</sub>
 +
|-
 +
| f<sub>13</sub>
 +
|-
 +
| f<sub>14</sub>
 +
|-
 +
| f<sub>15</sub>
 +
|}
 +
|
 +
{| cellpadding="2" style="background:lightcyan"
 +
| &nbsp;&nbsp;x&nbsp;&nbsp;y&nbsp;&nbsp;
 +
|-
 +
| ((x,&nbsp;y))
 +
|-
 +
| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;y&nbsp;&nbsp;
 +
|-
 +
| &nbsp;(x&nbsp;(y))
 +
|-
 +
| &nbsp;&nbsp;x&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 +
|-
 +
| ((x)&nbsp;y)&nbsp;
 +
|-
 +
| ((x)(y))
 +
|-
 +
| (())
 +
|}
 +
|
 +
{| cellpadding="2" style="background:lightcyan"
 +
| 1 0 0 0
 +
|-
 +
| 1 0 0 1
 +
|-
 +
| 1 0 1 0
 +
|-
 +
| 1 0 1 1
 +
|-
 +
| 1 1 0 0
 +
|-
 +
| 1 1 0 1
 +
|-
 +
| 1 1 1 0
 +
|-
 +
| 1 1 1 1
 +
|}
 +
|
 +
{| cellpadding="2" style="background:lightcyan"
 +
| &nbsp;&nbsp;u&nbsp;&nbsp;v&nbsp;&nbsp;
 +
|-
 +
| &nbsp;&nbsp;u&nbsp;&nbsp;v&nbsp;&nbsp;
 +
|-
 +
| ((u,&nbsp;v))
 +
|-
 +
| ((u,&nbsp;v))
 +
|-
 +
| ((u)(v))
 +
|-
 +
| ((u)(v))
 +
|-
 +
| (())
 +
|-
 +
| (())
 +
|}
 +
|
 +
{| cellpadding="2" style="background:lightcyan"
 +
| f<sub>8</sub>
 +
|-
 +
| f<sub>8</sub>
 +
|-
 +
| f<sub>9</sub>
 +
|-
 +
| f<sub>9</sub>
 +
|-
 +
| f<sub>14</sub>
 +
|-
 +
| f<sub>14</sub>
 +
|-
 +
| f<sub>15</sub>
 +
|-
 +
| f<sub>15</sub>
 +
|}
 +
|}
 +
</font><br>
    
<br><font face="courier new">
 
<br><font face="courier new">
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/49357"

Navigation menu