Changes

MyWikiBiz, Author Your Legacy — Sunday December 01, 2024
Jump to navigationJump to search

User:Jon Awbrey/ATLAS (view source)

Revision as of 01:11, 12 July 2007

3,473 bytes added ,  01:11, 12 July 2007
→‎Table 65. Induced Transformation on Propositions: copy model table
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 27.  Thematization of Bivariate Propositions
 +
|- style="background:paleturquoise"
 +
|
 +
{| align="right" style="background:paleturquoise; text-align:right"
 +
| u :
 +
|-
 +
| v :
 +
|}
 +
|
 +
{| style="background:paleturquoise"
 +
| 1100
 +
|-
 +
| 1010
 +
|}
 +
|
 +
{| style="background:paleturquoise"
 +
| f
 +
|-
 +
| &nbsp;
 +
|}
 +
|
 +
{| style="background:paleturquoise"
 +
| &theta;f
 +
|-
 +
| &nbsp;
 +
|}
 +
|
 +
{| style="background:paleturquoise"
 +
| &theta;f
 +
|-
 +
| &nbsp;
 +
|}
 +
|-
 +
|
 +
{| 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"
 +
| 0000
 +
|-
 +
| 0001
 +
|-
 +
| 0010
 +
|-
 +
| 0011
 +
|-
 +
| 0100
 +
|-
 +
| 0101
 +
|-
 +
| 0110
 +
|-
 +
| 0111
 +
|}
 +
|
 +
{| cellpadding="2" style="background:lightcyan"
 +
| ()
 +
|-
 +
| &nbsp;(u)(v)&nbsp;
 +
|-
 +
| &nbsp;(u)&nbsp;v&nbsp;&nbsp;
 +
|-
 +
| &nbsp;(u)&nbsp;&nbsp;&nbsp;&nbsp;
 +
|-
 +
| &nbsp;&nbsp;u&nbsp;(v)&nbsp;
 +
|-
 +
| &nbsp;&nbsp;&nbsp;&nbsp;(v)&nbsp;
 +
|-
 +
| &nbsp;(u,&nbsp;v)&nbsp;
 +
|-
 +
| &nbsp;(u&nbsp;&nbsp;v)&nbsp;
 +
|}
 +
|
 +
{| cellpadding="2" style="background:lightcyan"
 +
| ((&nbsp;f&nbsp;,&nbsp;&nbsp;&nbsp;&nbsp;()&nbsp;&nbsp;&nbsp;&nbsp;))
 +
|-
 +
| ((&nbsp;f&nbsp;,&nbsp;&nbsp;(u)(v)&nbsp;&nbsp;))
 +
|-
 +
| ((&nbsp;f&nbsp;,&nbsp;&nbsp;(u)&nbsp;v&nbsp;&nbsp;&nbsp;))
 +
|-
 +
| ((&nbsp;f&nbsp;,&nbsp;&nbsp;(u)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;))
 +
|-
 +
| ((&nbsp;f&nbsp;,&nbsp;&nbsp;&nbsp;u&nbsp;(v)&nbsp;&nbsp;))
 +
|-
 +
| ((&nbsp;f&nbsp;,&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(v)&nbsp;&nbsp;))
 +
|-
 +
| ((&nbsp;f&nbsp;,&nbsp;&nbsp;(u,&nbsp;v)&nbsp;&nbsp;))
 +
|-
 +
| ((&nbsp;f&nbsp;,&nbsp;&nbsp;(u&nbsp;&nbsp;v)&nbsp;&nbsp;))
 +
|}
 +
|
 +
{| align="left" cellpadding="2" style="background:lightcyan; text-align:left"
 +
| &nbsp;f + 1
 +
|-
 +
| &nbsp;f + u + v + uv
 +
|-
 +
| &nbsp;f + v + uv + 1
 +
|-
 +
| &nbsp;f + u
 +
|-
 +
| &nbsp;f + u + uv + 1
 +
|-
 +
| &nbsp;f + v
 +
|-
 +
| &nbsp;f + u + v + 1
 +
|-
 +
| &nbsp;f + uv
 +
|}
 +
|-
 +
|
 +
{| 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"
 +
| 1000
 +
|-
 +
| 1001
 +
|-
 +
| 1010
 +
|-
 +
| 1011
 +
|-
 +
| 1100
 +
|-
 +
| 1101
 +
|-
 +
| 1110
 +
|-
 +
| 1111
 +
|}
 +
|
 +
{| cellpadding="2" style="background:lightcyan"
 +
| &nbsp;&nbsp;u&nbsp;&nbsp;v&nbsp;&nbsp;
 +
|-
 +
| ((u,&nbsp;v))
 +
|-
 +
| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;v&nbsp;&nbsp;
 +
|-
 +
| &nbsp;(u&nbsp;(v))
 +
|-
 +
| &nbsp;&nbsp;u&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 +
|-
 +
| ((u)&nbsp;v)&nbsp;
 +
|-
 +
| ((u)(v))
 +
|-
 +
| (())
 +
|}
 +
|
 +
{| cellpadding="2" style="background:lightcyan"
 +
| ((&nbsp;f&nbsp;,&nbsp;&nbsp;&nbsp;u&nbsp;&nbsp;v&nbsp;&nbsp;&nbsp;))
 +
|-
 +
| ((&nbsp;f&nbsp;,&nbsp;((u,&nbsp;v))&nbsp;))
 +
|-
 +
| ((&nbsp;f&nbsp;,&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;v&nbsp;&nbsp;&nbsp;))
 +
|-
 +
| ((&nbsp;f&nbsp;,&nbsp;&nbsp;(u&nbsp;(v))&nbsp;))
 +
|-
 +
| ((&nbsp;f&nbsp;,&nbsp;&nbsp;&nbsp;u&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;))
 +
|-
 +
| ((&nbsp;f&nbsp;,&nbsp;((u)&nbsp;v)&nbsp;&nbsp;))
 +
|-
 +
| ((&nbsp;f&nbsp;,&nbsp;((u)(v))&nbsp;))
 +
|-
 +
| ((&nbsp;f&nbsp;,&nbsp;&nbsp;&nbsp;(())&nbsp;&nbsp;&nbsp;))
 +
|}
 +
|
 +
{| align="left" cellpadding="2" style="background:lightcyan; text-align:left"
 +
| &nbsp;f + uv + 1
 +
|-
 +
| &nbsp;f + u + v
 +
|-
 +
| &nbsp;f + v + 1
 +
|-
 +
| &nbsp;f + u + uv
 +
|-
 +
| &nbsp;f + u + 1
 +
|-
 +
| &nbsp;f + v + uv
 +
|-
 +
| &nbsp;f + u + v + uv + 1
 +
|-
 +
| &nbsp;f
 +
|}
 +
|}
 +
</font><br>
    
===Formula Display 14===
 
===Formula Display 14===
Jon Awbrey
12,080

edits

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

Navigation menu