Changes

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

User:Jon Awbrey/ATLAS (view source)

Revision as of 02:29, 5 July 2007

970 bytes added ,  02:29, 5 July 2007
→‎Table 64. Transformation of Positions
Line 9,052: Line 9,052:  
</pre>
 
</pre>
   −
<font face="courier new">
+
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
−
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
+
|+ '''Table 64.  Transformation of Positions'''
−
|+ '''Table 60.  Propositional Transformation'''
   
|- style="background:paleturquoise"
 
|- style="background:paleturquoise"
−
| width="25%" | ''u''
+
| ''u''&nbsp;&nbsp;''v''
−
| width="25%" | ''v''
+
| ''x''
−
| width="25%" | ''f''
+
| ''y''
−
| width="25%" | ''g''
+
| ''x''&nbsp;''y''
 +
| ''x''&nbsp;(''y'')
 +
| (''x'')&nbsp;''y''
 +
| (''x'')(''y'')
 +
| ''X''<sup>&nbsp;&bull;</sup>&nbsp;=&nbsp;[''x'',&nbsp;''y''&nbsp;]
 
|-
 
|-
−
| width="25%" |
+
| width="12%" |
−
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
+
{| align="center" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 +
| 0&nbsp;&nbsp;0
 +
|-
 +
| 0&nbsp;&nbsp;1
 +
|-
 +
| 1&nbsp;&nbsp;0
 +
|-
 +
| 1&nbsp;&nbsp;1
 +
|}
 +
| width="12%" |
 +
{| align="center" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 
| 0
 
| 0
 
|-
 
|-
−
| 0
+
| 1
 
|-
 
|-
 
| 1
 
| 1
Line 9,071: Line 9,084:  
| 1
 
| 1
 
|}
 
|}
−
| width="25%" |
+
| width="12%" |
−
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
+
{| align="center" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 +
| 1
 +
|-
 +
| 0
 +
|-
 
| 0
 
| 0
 
|-
 
|-
 
| 1
 
| 1
 +
|}
 +
| width="12%" |
 +
{| align="center" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 +
| 0
 +
|-
 +
| 0
 
|-
 
|-
 
| 0
 
| 0
Line 9,081: Line 9,104:  
| 1
 
| 1
 
|}
 
|}
−
| width="25%" |
+
| width="12%" |
−
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
+
{| align="center" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 
| 0
 
| 0
 
|-
 
|-
Line 9,089: Line 9,112:  
| 1
 
| 1
 
|-
 
|-
 +
| 0
 +
|}
 +
| width="12%" |
 +
{| align="center" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 
| 1
 
| 1
 +
|-
 +
| 0
 +
|-
 +
| 0
 +
|-
 +
| 0
 
|}
 
|}
−
| width="25%" |
+
| width="12%" |
−
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
+
{| align="center" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
−
| 1
+
| 0
 +
|-
 +
| 0
 
|-
 
|-
 
| 0
 
| 0
 
|-
 
|-
 
| 0
 
| 0
 +
|}
 +
| width="12%" |
 +
{| align="center" border="0" cellpadding="2" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 +
| &uarr;
 
|-
 
|-
−
| 1
+
| ''F''
 +
|-
 +
| ‹''f'',&nbsp;''g''&nbsp;›
 +
|-
 +
| &uarr;
 
|}
 
|}
 
|-
 
|-
−
| width="25%" | &nbsp;
+
| &nbsp;
−
| width="25%" | &nbsp;
+
| ((''u'')(''v''))
−
| width="25%" | ((''u'')(''v''))
+
| ((''u'',&nbsp;''v''))
−
| width="25%" | ((''u'', ''v''))
+
| ''u''&nbsp;''v''
 +
| (''u'',&nbsp;''v'')
 +
| (''u'')(''v'')
 +
| (&nbsp;)
 +
| ''U''<sup>&nbsp;&bull;</sup>&nbsp;=&nbsp;[''u'',&nbsp;''v''&nbsp;]
 
|}
 
|}
−
</font><br>
+
<br>
    
===Table 65.  Induced Transformation on Propositions===
 
===Table 65.  Induced Transformation on Propositions===
Jon Awbrey
12,080

edits

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

Navigation menu