Changes

Line 2,432: Line 2,432:  
|}
 
|}
   −
Example 2.  Anything That Is Man
+
Example 2.  Anything That Is A Man
   −
: 1,m = m
+
{| align="center" cellpadding="6" width="90%"
 
+
| <math>\mathbf{1,}\mathrm{m} ~=~ \mathrm{m}</math>
: "anything that is man" = "man"
+
|-
 +
| <math>\text{anything that is a man} ~=~ \text{man}</math>
 +
|-
 +
|
 +
<math>
 +
\begin{bmatrix}
 +
1 & 0 & 0 & 0 & 0 & 0 & 0
 +
\\
 +
0 & 1 & 0 & 0 & 0 & 0 & 0
 +
\\
 +
0 & 0 & 1 & 0 & 0 & 0 & 0
 +
\\
 +
0 & 0 & 0 & 1 & 0 & 0 & 0
 +
\\
 +
0 & 0 & 0 & 0 & 1 & 0 & 0
 +
\\
 +
0 & 0 & 0 & 0 & 0 & 1 & 0
 +
\\
 +
0 & 0 & 0 & 0 & 0 & 0 & 1
 +
\end{bmatrix}
 +
\begin{bmatrix}
 +
0 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 1
 +
\end{bmatrix}
 +
=
 +
\begin{bmatrix}
 +
0 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 1
 +
\end{bmatrix}
 +
</math>
 +
|}
    
{| align="center" cellspacing="6" width="90%"
 
{| align="center" cellspacing="6" width="90%"
Line 2,452: Line 2,480:  
</pre>
 
</pre>
 
|}
 
|}
 +
 +
Example 3.  Man That Is Anything
 +
 +
: m,1 = m
 +
 +
: "man that is anything" = "man"
    
<pre>
 
<pre>
| 1 0 0 0 0 0 0 | | 0 |    | 0 |
+
| 0 0 0 0 0 0 0 | | 1 |    | 0 |
 
| 0 1 0 0 0 0 0 | | 1 |    | 1 |
 
| 0 1 0 0 0 0 0 | | 1 |    | 1 |
| 0 0 1 0 0 0 0 | | 0 |    | 0 |
+
| 0 0 0 0 0 0 0 | | 1 |    | 0 |
| 0 0 0 1 0 0 0 | | 0 |  =  | 0 |
+
| 0 0 0 0 0 0 0 | | 1 |  =  | 0 |
 
| 0 0 0 0 1 0 0 | | 1 |    | 1 |
 
| 0 0 0 0 1 0 0 | | 1 |    | 1 |
 
| 0 0 0 0 0 1 0 | | 1 |    | 1 |
 
| 0 0 0 0 0 1 0 | | 1 |    | 1 |
 
| 0 0 0 0 0 0 1 | | 1 |    | 1 |
 
| 0 0 0 0 0 0 1 | | 1 |    | 1 |
 
</pre>
 
</pre>
  −
Example 3.  Man That Is Anything
  −
  −
: m,1 = m
  −
  −
: "man that is anything" = "man"
      
{| align="center" cellspacing="6" width="90%"
 
{| align="center" cellspacing="6" width="90%"
Line 2,483: Line 2,511:  
</pre>
 
</pre>
 
|}
 
|}
 +
 +
Example 4.  Man That Is Noble
 +
 +
: m,n = "man that is noble"
    
<pre>
 
<pre>
| 0 0 0 0 0 0 0 | | 1 |    | 0 |
+
| 0 0 0 0 0 0 0 | | 0 |    | 0 |
 
| 0 1 0 0 0 0 0 | | 1 |    | 1 |
 
| 0 1 0 0 0 0 0 | | 1 |    | 1 |
 
| 0 0 0 0 0 0 0 | | 1 |    | 0 |
 
| 0 0 0 0 0 0 0 | | 1 |    | 0 |
| 0 0 0 0 0 0 0 | | 1 |  =  | 0 |
+
| 0 0 0 0 0 0 0 | | 0 |  =  | 0 |
| 0 0 0 0 1 0 0 | | 1 |    | 1 |
+
| 0 0 0 0 1 0 0 | | 0 |    | 0 |
| 0 0 0 0 0 1 0 | | 1 |    | 1 |
+
| 0 0 0 0 0 1 0 | | 0 |    | 0 |
 
| 0 0 0 0 0 0 1 | | 1 |    | 1 |
 
| 0 0 0 0 0 0 1 | | 1 |    | 1 |
 
</pre>
 
</pre>
  −
Example 4.  Man That Is Noble
  −
  −
: m,n = "man that is noble"
      
{| align="center" cellspacing="6" width="90%"
 
{| align="center" cellspacing="6" width="90%"
Line 2,512: Line 2,540:  
</pre>
 
</pre>
 
|}
 
|}
 +
 +
Example 5.  Noble That Is Man
 +
 +
: n,m = "noble that is man"
    
<pre>
 
<pre>
 
| 0 0 0 0 0 0 0 | | 0 |    | 0 |
 
| 0 0 0 0 0 0 0 | | 0 |    | 0 |
 
| 0 1 0 0 0 0 0 | | 1 |    | 1 |
 
| 0 1 0 0 0 0 0 | | 1 |    | 1 |
 +
| 0 0 1 0 0 0 0 | | 0 |    | 0 |
 +
| 0 0 0 0 0 0 0 | | 0 |  =  | 0 |
 +
| 0 0 0 0 0 0 0 | | 1 |    | 0 |
 
| 0 0 0 0 0 0 0 | | 1 |    | 0 |
 
| 0 0 0 0 0 0 0 | | 1 |    | 0 |
| 0 0 0 0 0 0 0 | | 0 |  =  | 0 |
  −
| 0 0 0 0 1 0 0 | | 0 |    | 0 |
  −
| 0 0 0 0 0 1 0 | | 0 |    | 0 |
   
| 0 0 0 0 0 0 1 | | 1 |    | 1 |
 
| 0 0 0 0 0 0 1 | | 1 |    | 1 |
 
</pre>
 
</pre>
  −
Example 5.  Noble That Is Man
  −
  −
: n,m = "noble that is man"
      
{| align="center" cellspacing="6" width="90%"
 
{| align="center" cellspacing="6" width="90%"
Line 2,541: Line 2,569:  
</pre>
 
</pre>
 
|}
 
|}
  −
<pre>
  −
| 0 0 0 0 0 0 0 | | 0 |    | 0 |
  −
| 0 1 0 0 0 0 0 | | 1 |    | 1 |
  −
| 0 0 1 0 0 0 0 | | 0 |    | 0 |
  −
| 0 0 0 0 0 0 0 | | 0 |  =  | 0 |
  −
| 0 0 0 0 0 0 0 | | 1 |    | 0 |
  −
| 0 0 0 0 0 0 0 | | 1 |    | 0 |
  −
| 0 0 0 0 0 0 1 | | 1 |    | 1 |
  −
</pre>
      
===Commentary Note 9.7===
 
===Commentary Note 9.7===
12,080

edits