Changes

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

User:Jon Awbrey/ATLAS (view source)

Revision as of 04:36, 12 July 2007

112 bytes removed ,  04:36, 12 July 2007
→‎Table 65. Induced Transformation on Propositions
Line 9,243: Line 9,243:  
| ()
 
| ()
 
|-
 
|-
−
|  (u)(v) 
+
|  (x)(y) 
 
|-
 
|-
−
|  (u) v  
+
|  (x) y  
 
|-
 
|-
−
|  (u)    
+
|  (x)    
 
|-
 
|-
−
|   u (v) 
+
|   x (y) 
 
|-
 
|-
−
|     (v) 
+
|     (y) 
 
|-
 
|-
−
|  (u, v) 
+
|  (x, y) 
 
|-
 
|-
−
|  (u  v) 
+
|  (x  y) 
 
|}
 
|}
 
|
 
|
Line 9,277: Line 9,277:  
|
 
|
 
{| cellpadding="2" style="background:lightcyan"
 
{| cellpadding="2" style="background:lightcyan"
 +
| ()
 +
|-
 
| ()
 
| ()
 
|-
 
|-
 
|  (u)(v) 
 
|  (u)(v) 
 
|-
 
|-
−
|  (u) v  
+
|  (u)(v) 
 
|-
 
|-
−
|  (u)    
+
|  (u, v) 
 
|-
 
|-
−
|   u (v) 
+
|  (u, v) 
 
|-
 
|-
−
|     (v) 
+
|  (u  v) 
−
|-
  −
|  (u, v) 
   
|-
 
|-
 
|  (u  v) 
 
|  (u  v) 
Line 9,295: Line 9,295:  
|
 
|
 
{| cellpadding="2" style="background:lightcyan"
 
{| cellpadding="2" style="background:lightcyan"
 +
| f<sub>0</sub>
 +
|-
 
| f<sub>0</sub>
 
| f<sub>0</sub>
 
|-
 
|-
 
| f<sub>1</sub>
 
| f<sub>1</sub>
 
|-
 
|-
−
| f<sub>2</sub>
+
| f<sub>1</sub>
 
|-
 
|-
−
| f<sub>3</sub>
+
| f<sub>6</sub>
 
|-
 
|-
−
| f<sub>4</sub>
+
| f<sub>6</sub>
 
|-
 
|-
−
| f<sub>5</sub>
+
| f<sub>7</sub>
−
|-
  −
| f<sub>6</sub>
   
|-
 
|-
 
| f<sub>7</sub>
 
| f<sub>7</sub>
Line 9,332: Line 9,332:  
|
 
|
 
{| cellpadding="2" style="background:lightcyan"
 
{| cellpadding="2" style="background:lightcyan"
−
| &nbsp;&nbsp;u&nbsp;&nbsp;v&nbsp;&nbsp;
+
| &nbsp;&nbsp;x&nbsp;&nbsp;y&nbsp;&nbsp;
 
|-
 
|-
−
| ((u,&nbsp;v))
+
| ((x,&nbsp;y))
 
|-
 
|-
−
| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;v&nbsp;&nbsp;
+
| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;y&nbsp;&nbsp;
 
|-
 
|-
−
| &nbsp;(u&nbsp;(v))
+
| &nbsp;(x&nbsp;(y))
 
|-
 
|-
−
| &nbsp;&nbsp;u&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
+
| &nbsp;&nbsp;x&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 
|-
 
|-
−
| ((u)&nbsp;v)&nbsp;
+
| ((x)&nbsp;y)&nbsp;
 
|-
 
|-
−
| ((u)(v))
+
| ((x)(y))
 
|-
 
|-
 
| (())
 
| (())
Line 9,368: Line 9,368:  
|
 
|
 
{| 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;
 
|-
 
|-
 
| ((u,&nbsp;v))
 
| ((u,&nbsp;v))
 
|-
 
|-
−
| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;v&nbsp;&nbsp;
+
| ((u,&nbsp;v))
 
|-
 
|-
−
| &nbsp;(u&nbsp;(v))
+
| ((u)(v))
 
|-
 
|-
−
| &nbsp;&nbsp;u&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
+
| ((u)(v))
 
|-
 
|-
−
| ((u)&nbsp;v)&nbsp;
+
| (())
−
|-
  −
| ((u)(v))
   
|-
 
|-
 
| (())
 
| (())
Line 9,386: Line 9,386:  
|
 
|
 
{| cellpadding="2" style="background:lightcyan"
 
{| cellpadding="2" style="background:lightcyan"
 +
| f<sub>8</sub>
 +
|-
 
| f<sub>8</sub>
 
| f<sub>8</sub>
 
|-
 
|-
 
| f<sub>9</sub>
 
| f<sub>9</sub>
 
|-
 
|-
−
| f<sub>10</sub>
+
| f<sub>9</sub>
 
|-
 
|-
−
| f<sub>11</sub>
+
| f<sub>14</sub>
 
|-
 
|-
−
| f<sub>12</sub>
+
| f<sub>14</sub>
 
|-
 
|-
−
| f<sub>13</sub>
+
| f<sub>15</sub>
−
|-
  −
| f<sub>14</sub>
   
|-
 
|-
 
| f<sub>15</sub>
 
| f<sub>15</sub>
Jon Awbrey
12,080

edits

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

Navigation menu