Changes

MyWikiBiz, Author Your Legacy — Saturday January 04, 2025
Jump to navigationJump to search

User:Jon Awbrey/ATLAS (view source)

Revision as of 18:14, 12 July 2007

368 bytes added ,  18:14, 12 July 2007
→‎Table 65. Induced Transformation on Propositions
Line 9,223: Line 9,223:  
|
 
|
 
{| align="right" style="background:paleturquoise; text-align:right"
 
{| align="right" style="background:paleturquoise; text-align:right"
−
| u =
+
| ''u'' =
 
|-
 
|-
−
| v =
+
| ''v'' =
 
|}
 
|}
 
|
 
|
Line 9,235: Line 9,235:  
|
 
|
 
{| align="left" style="background:paleturquoise; text-align:left"
 
{| align="left" style="background:paleturquoise; text-align:left"
−
| = u
+
| = ''u''
 
|-
 
|-
−
| = v
+
| = ''v''
 
|}
 
|}
 
| rowspan="2" | ''f''<sub>''j''</sub>‹''u'',&nbsp;''v''›
 
| rowspan="2" | ''f''<sub>''j''</sub>‹''u'',&nbsp;''v''›
Line 9,243: Line 9,243:  
|
 
|
 
{| align="right" style="background:paleturquoise; text-align:right"
 
{| align="right" style="background:paleturquoise; text-align:right"
−
| x =
+
| ''x'' =
 
|-
 
|-
−
| y =
+
| ''y'' =
 
|}
 
|}
 
|
 
|
Line 9,255: Line 9,255:  
|
 
|
 
{| align="left" style="background:paleturquoise; text-align:left"
 
{| align="left" style="background:paleturquoise; text-align:left"
−
| = f‹u,&nbsp;v›
+
| = ''f''‹''u'',&nbsp;''v''›
 
|-
 
|-
−
| = g‹u,&nbsp;v›
+
| = ''g''‹''u'',&nbsp;''v''›
 
|}
 
|}
 
|-
 
|-
 
|
 
|
 
{| cellpadding="2" style="background:lightcyan"
 
{| cellpadding="2" style="background:lightcyan"
−
| f<sub>0</sub>
+
| ''f''<sub>0</sub>
 
|-
 
|-
−
| f<sub>1</sub>
+
| ''f''<sub>1</sub>
 
|-
 
|-
−
| f<sub>2</sub>
+
| ''f''<sub>2</sub>
 
|-
 
|-
−
| f<sub>3</sub>
+
| ''f''<sub>3</sub>
 
|-
 
|-
−
| f<sub>4</sub>
+
| ''f''<sub>4</sub>
 
|-
 
|-
−
| f<sub>5</sub>
+
| ''f''<sub>5</sub>
 
|-
 
|-
−
| f<sub>6</sub>
+
| ''f''<sub>6</sub>
 
|-
 
|-
−
| f<sub>7</sub>
+
| ''f''<sub>7</sub>
 
|}
 
|}
 
|
 
|
Line 9,282: Line 9,282:  
| ()
 
| ()
 
|-
 
|-
−
| &nbsp;(x)(y)&nbsp;
+
| &nbsp;(''x'')(''y'')&nbsp;
 
|-
 
|-
−
| &nbsp;(x)&nbsp;y&nbsp;&nbsp;
+
| &nbsp;(''x'')&nbsp;''y''&nbsp;&nbsp;
 
|-
 
|-
−
| &nbsp;(x)&nbsp;&nbsp;&nbsp;&nbsp;
+
| &nbsp;(''x'')&nbsp;&nbsp;&nbsp;&nbsp;
 
|-
 
|-
−
| &nbsp;&nbsp;x&nbsp;(y)&nbsp;
+
| &nbsp;&nbsp;''x''&nbsp;(''y'')&nbsp;
 
|-
 
|-
−
| &nbsp;&nbsp;&nbsp;&nbsp;(y)&nbsp;
+
| &nbsp;&nbsp;&nbsp;&nbsp;(''y'')&nbsp;
 
|-
 
|-
−
| &nbsp;(x,&nbsp;y)&nbsp;
+
| &nbsp;(''x'',&nbsp;''y'')&nbsp;
 
|-
 
|-
−
| &nbsp;(x&nbsp;&nbsp;y)&nbsp;
+
| &nbsp;(''x''&nbsp;&nbsp;''y'')&nbsp;
 
|}
 
|}
 
|
 
|
Line 9,320: Line 9,320:  
| ()
 
| ()
 
|-
 
|-
−
| &nbsp;(u)(v)&nbsp;
+
| &nbsp;(''u'')(''v'')&nbsp;
 
|-
 
|-
−
| &nbsp;(u)(v)&nbsp;
+
| &nbsp;(''u'')(''v'')&nbsp;
 
|-
 
|-
−
| &nbsp;(u,&nbsp;v)&nbsp;
+
| &nbsp;(''u'',&nbsp;''v'')&nbsp;
 
|-
 
|-
−
| &nbsp;(u,&nbsp;v)&nbsp;
+
| &nbsp;(''u'',&nbsp;''v'')&nbsp;
 
|-
 
|-
−
| &nbsp;(u&nbsp;&nbsp;v)&nbsp;
+
| &nbsp;(''u''&nbsp;&nbsp;''v'')&nbsp;
 
|-
 
|-
−
| &nbsp;(u&nbsp;&nbsp;v)&nbsp;
+
| &nbsp;(''u''&nbsp;&nbsp;''v'')&nbsp;
 
|}
 
|}
 
|
 
|
 
{| cellpadding="2" style="background:lightcyan"
 
{| cellpadding="2" style="background:lightcyan"
−
| f<sub>0</sub>
+
| ''f''<sub>0</sub>
 
|-
 
|-
−
| f<sub>0</sub>
+
| ''f''<sub>0</sub>
 
|-
 
|-
−
| f<sub>1</sub>
+
| ''f''<sub>1</sub>
 
|-
 
|-
−
| f<sub>1</sub>
+
| ''f''<sub>1</sub>
 
|-
 
|-
−
| f<sub>6</sub>
+
| ''f''<sub>6</sub>
 
|-
 
|-
−
| f<sub>6</sub>
+
| ''f''<sub>6</sub>
 
|-
 
|-
−
| f<sub>7</sub>
+
| ''f''<sub>7</sub>
 
|-
 
|-
−
| f<sub>7</sub>
+
| ''f''<sub>7</sub>
 
|}
 
|}
 
|-
 
|-
 
|
 
|
 
{| cellpadding="2" style="background:lightcyan"
 
{| cellpadding="2" style="background:lightcyan"
−
| f<sub>8</sub>
+
| ''f''<sub>8</sub>
 
|-
 
|-
−
| f<sub>9</sub>
+
| ''f''<sub>9</sub>
 
|-
 
|-
−
| f<sub>10</sub>
+
| ''f''<sub>10</sub>
 
|-
 
|-
−
| f<sub>11</sub>
+
| ''f''<sub>11</sub>
 
|-
 
|-
−
| f<sub>12</sub>
+
| ''f''<sub>12</sub>
 
|-
 
|-
−
| f<sub>13</sub>
+
| ''f''<sub>13</sub>
 
|-
 
|-
−
| f<sub>14</sub>
+
| ''f''<sub>14</sub>
 
|-
 
|-
−
| f<sub>15</sub>
+
| ''f''<sub>15</sub>
 
|}
 
|}
 
|
 
|
 
{| cellpadding="2" style="background:lightcyan"
 
{| cellpadding="2" style="background:lightcyan"
−
| &nbsp;&nbsp;x&nbsp;&nbsp;y&nbsp;&nbsp;
+
| &nbsp;&nbsp;''x''&nbsp;&nbsp;''y''&nbsp;&nbsp;
 
|-
 
|-
−
| ((x,&nbsp;y))
+
| ((''x'',&nbsp;''y''))
 
|-
 
|-
−
| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;y&nbsp;&nbsp;
+
| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;''y''&nbsp;&nbsp;
 
|-
 
|-
−
| &nbsp;(x&nbsp;(y))
+
| &nbsp;(''x''&nbsp;(''y''))
 
|-
 
|-
−
| &nbsp;&nbsp;x&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
+
| &nbsp;&nbsp;''x''&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 
|-
 
|-
−
| ((x)&nbsp;y)&nbsp;
+
| ((''x'')&nbsp;''y'')&nbsp;
 
|-
 
|-
−
| ((x)(y))
+
| ((''x'')(''y''))
 
|-
 
|-
 
| (())
 
| (())
Line 9,407: Line 9,407:  
|
 
|
 
{| cellpadding="2" style="background:lightcyan"
 
{| cellpadding="2" style="background:lightcyan"
−
| &nbsp;&nbsp;u&nbsp;&nbsp;v&nbsp;&nbsp;
+
| &nbsp;&nbsp;''u''&nbsp;&nbsp;''v''&nbsp;&nbsp;
 
|-
 
|-
−
| &nbsp;&nbsp;u&nbsp;&nbsp;v&nbsp;&nbsp;
+
| &nbsp;&nbsp;''u''&nbsp;&nbsp;''v''&nbsp;&nbsp;
 
|-
 
|-
−
| ((u,&nbsp;v))
+
| ((''u'',&nbsp;''v''))
 
|-
 
|-
−
| ((u,&nbsp;v))
+
| ((''u'',&nbsp;''v''))
 
|-
 
|-
−
| ((u)(v))
+
| ((''u'')(''v''))
 
|-
 
|-
−
| ((u)(v))
+
| ((''u'')(''v''))
 
|-
 
|-
 
| (())
 
| (())
Line 9,425: Line 9,425:  
|
 
|
 
{| cellpadding="2" style="background:lightcyan"
 
{| cellpadding="2" style="background:lightcyan"
−
| f<sub>8</sub>
+
| ''f''<sub>8</sub>
 
|-
 
|-
−
| f<sub>8</sub>
+
| ''f''<sub>8</sub>
 
|-
 
|-
−
| f<sub>9</sub>
+
| ''f''<sub>9</sub>
 
|-
 
|-
−
| f<sub>9</sub>
+
| ''f''<sub>9</sub>
 
|-
 
|-
−
| f<sub>14</sub>
+
| ''f''<sub>14</sub>
 
|-
 
|-
−
| f<sub>14</sub>
+
| ''f''<sub>14</sub>
 
|-
 
|-
−
| f<sub>15</sub>
+
| ''f''<sub>15</sub>
 
|-
 
|-
−
| f<sub>15</sub>
+
| ''f''<sub>15</sub>
 
|}
 
|}
 
|}
 
|}
Jon Awbrey
12,080

edits

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

Navigation menu