Difference between revisions of "User:Jon Awbrey/TEST"

MyWikiBiz, Author Your Legacy — Thursday November 28, 2024
Jump to navigationJump to search
(fix fonts)
(sub [ smallmatrix / matrix ] in column heads)
Line 15: Line 15:
 
<math>f</math></td>
 
<math>f</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{11} \texttt{)}
 
\texttt{(} \ell_{11} \texttt{)}
 
\\
 
\\
Line 21: Line 21:
 
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{10} \texttt{)}
 
\texttt{(} \ell_{10} \texttt{)}
 
\\
 
\\
Line 29: Line 29:
 
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{01} \texttt{)}
 
\texttt{(} \ell_{01} \texttt{)}
 
\\
 
\\
Line 37: Line 37:
 
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{00} \texttt{)}
 
\texttt{(} \ell_{00} \texttt{)}
 
\\
 
\\
Line 45: Line 45:
 
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{00}
 
\ell_{00}
 
\\
 
\\
Line 53: Line 53:
 
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{01}
 
\ell_{01}
 
\\
 
\\
Line 61: Line 61:
 
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{10}
 
\ell_{10}
 
\\
 
\\
Line 69: Line 69:
 
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{11}
 
\ell_{11}
 
\\
 
\\
Line 77: Line 77:
 
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
\end{matrix}</math></td></tr>
+
\end{smallmatrix}</math></td></tr>
  
 
<tr>
 
<tr>
Line 303: Line 303:
 
<math>f</math></td>
 
<math>f</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{11} \texttt{)}
 
\texttt{(} \ell_{11} \texttt{)}
 
\\
 
\\
Line 309: Line 309:
 
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{10} \texttt{)}
 
\texttt{(} \ell_{10} \texttt{)}
 
\\
 
\\
Line 317: Line 317:
 
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{01} \texttt{)}
 
\texttt{(} \ell_{01} \texttt{)}
 
\\
 
\\
Line 325: Line 325:
 
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{00} \texttt{)}
 
\texttt{(} \ell_{00} \texttt{)}
 
\\
 
\\
Line 333: Line 333:
 
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{00}
 
\ell_{00}
 
\\
 
\\
Line 341: Line 341:
 
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{01}
 
\ell_{01}
 
\\
 
\\
Line 349: Line 349:
 
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{10}
 
\ell_{10}
 
\\
 
\\
Line 357: Line 357:
 
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{11}
 
\ell_{11}
 
\\
 
\\
Line 365: Line 365:
 
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
\end{matrix}</math></td></tr>
+
\end{smallmatrix}</math></td></tr>
  
 
<tr>
 
<tr>

Revision as of 03:15, 23 November 2009

The following Tables develop these ideas in more detail.


\(\text{Table 8.} ~~ \text{Simple Qualifiers of Propositions (Version 1)}\)
\(\begin{matrix}u\!:\\v\!:\end{matrix}\) \(\begin{matrix}1100\\1010\end{matrix}\) \(f\) \(\begin{smallmatrix} \texttt{(} \ell_{11} \texttt{)} \\ \mathrm{No} ~ u \\ \mathrm{is} ~ v \end{smallmatrix}\) \(\begin{smallmatrix} \texttt{(} \ell_{10} \texttt{)} \\ \mathrm{No} ~ u \\ \mathrm{is} ~ \texttt{(} v \texttt{)} \end{smallmatrix}\) \(\begin{smallmatrix} \texttt{(} \ell_{01} \texttt{)} \\ \mathrm{No} ~ \texttt{(} u \texttt{)} \\ \mathrm{is} ~ v \end{smallmatrix}\) \(\begin{smallmatrix} \texttt{(} \ell_{00} \texttt{)} \\ \mathrm{No} ~ \texttt{(} u \texttt{)} \\ \mathrm{is} ~ \texttt{(} v \texttt{)} \end{smallmatrix}\) \(\begin{smallmatrix} \ell_{00} \\ \mathrm{Some} ~ \texttt{(} u \texttt{)} \\ \mathrm{is} ~ \texttt{(} v \texttt{)} \end{smallmatrix}\) \(\begin{smallmatrix} \ell_{01} \\ \mathrm{Some} ~ \texttt{(} u \texttt{)} \\ \mathrm{is} ~ v \end{smallmatrix}\) \(\begin{smallmatrix} \ell_{10} \\ \mathrm{Some} ~ u \\ \mathrm{is} ~ \texttt{(} v \texttt{)} \end{smallmatrix}\) \(\begin{smallmatrix} \ell_{11} \\ \mathrm{Some} ~ u \\ \mathrm{is} ~ v \end{smallmatrix}\)
\(f_{0}\) \(0000\) \(\texttt{(~)}\) 1 1 1 1 0 0 0 0
\(f_{1}\) \(0001\) \(\texttt{(} u \texttt{)(} v \texttt{)}\) 1 1 1 0 1 0 0 0
\(f_{2}\) \(0010\) \(\texttt{(} u\texttt{)} ~ v\) 1 1 0 1 0 1 0 0
\(f_{3}\) \(0011\) \(\texttt{(} u \texttt{)}\) 1 1 0 0 1 1 0 0
\(f_{4}\) \(0100\) \(u ~ \texttt{(} v \texttt{)}\) 1 0 1 1 0 0 1 0
\(f_{5}\) \(0101\) \(\texttt{(} v \texttt{)}\) 1 0 1 0 1 0 1 0
\(f_{6}\) \(0110\) \(\texttt{(} u \texttt{,} v \texttt{)}\) 1 0 0 1 0 1 1 0
\(f_{7}\) \(0111\) \(\texttt{(} u ~ v \texttt{)}\) 1 0 0 0 1 1 1 0
\(f_{8}\) \(1000\) \(u ~ v\) 0 1 1 1 0 0 0 1
\(f_{9}\) \(1001\) \(\texttt{((} u \texttt{,} v \texttt{))}\) 0 1 1 0 1 0 0 1
\(f_{10}\) \(1010\) \(v\) 0 1 0 1 0 1 0 1
\(f_{11}\) \(1011\) \(\texttt{(} u ~ \texttt{(} v \texttt{))}\) 0 1 0 0 1 1 0 1
\(f_{12}\) \(1100\) \(u\) 0 0 1 1 0 0 1 1
\(f_{13}\) \(1101\) \(\texttt{((} u \texttt{)} ~ v \texttt{)}\) 0 0 1 0 1 0 1 1
\(f_{14}\) \(1110\) \(\texttt{((} u \texttt{)(} v \texttt{))}\) 0 0 0 1 0 1 1 1
\(f_{15}\) \(1111\) \(\texttt{((~))}\) 0 0 0 0 1 1 1 1


\(\text{Table 9.} ~~ \text{Simple Qualifiers of Propositions (Version 2)}\)
\(\begin{matrix}u\!:\\v\!:\end{matrix}\) \(\begin{matrix}1100\\1010\end{matrix}\) \(f\) \(\begin{smallmatrix} \texttt{(} \ell_{11} \texttt{)} \\ \mathrm{No} ~ u \\ \mathrm{is} ~ v \end{smallmatrix}\) \(\begin{smallmatrix} \texttt{(} \ell_{10} \texttt{)} \\ \mathrm{No} ~ u \\ \mathrm{is} ~ \texttt{(} v \texttt{)} \end{smallmatrix}\) \(\begin{smallmatrix} \texttt{(} \ell_{01} \texttt{)} \\ \mathrm{No} ~ \texttt{(} u \texttt{)} \\ \mathrm{is} ~ v \end{smallmatrix}\) \(\begin{smallmatrix} \texttt{(} \ell_{00} \texttt{)} \\ \mathrm{No} ~ \texttt{(} u \texttt{)} \\ \mathrm{is} ~ \texttt{(} v \texttt{)} \end{smallmatrix}\) \(\begin{smallmatrix} \ell_{00} \\ \mathrm{Some} ~ \texttt{(} u \texttt{)} \\ \mathrm{is} ~ \texttt{(} v \texttt{)} \end{smallmatrix}\) \(\begin{smallmatrix} \ell_{01} \\ \mathrm{Some} ~ \texttt{(} u \texttt{)} \\ \mathrm{is} ~ v \end{smallmatrix}\) \(\begin{smallmatrix} \ell_{10} \\ \mathrm{Some} ~ u \\ \mathrm{is} ~ \texttt{(} v \texttt{)} \end{smallmatrix}\) \(\begin{smallmatrix} \ell_{11} \\ \mathrm{Some} ~ u \\ \mathrm{is} ~ v \end{smallmatrix}\)
\(f_{0}\) \(0000\) \(\texttt{(~)}\) 1 1 1 1 0 0 0 0
\(f_{1}\) \(0001\) \(\texttt{(} u \texttt{)(} v \texttt{)}\) 1 1 1 0 1 0 0 0
\(f_{2}\) \(0010\) \(\texttt{(} u\texttt{)} ~ v\) 1 1 0 1 0 1 0 0
\(f_{4}\) \(0100\) \(u ~ \texttt{(} v \texttt{)}\) 1 0 1 1 0 0 1 0
\(f_{8}\) \(1000\) \(u ~ v\) 0 1 1 1 0 0 0 1
\(f_{3}\) \(0011\) \(\texttt{(} u \texttt{)}\) 1 1 0 0 1 1 0 0
\(f_{12}\) \(1100\) \(u\) 0 0 1 1 0 0 1 1
\(f_{6}\) \(0110\) \(\texttt{(} u \texttt{,} v \texttt{)}\) 1 0 0 1 0 1 1 0
\(f_{9}\) \(1001\) \(\texttt{((} u \texttt{,} v \texttt{))}\) 0 1 1 0 1 0 0 1
\(f_{5}\) \(0101\) \(\texttt{(} v \texttt{)}\) 1 0 1 0 1 0 1 0
\(f_{10}\) \(1010\) \(v\) 0 1 0 1 0 1 0 1
\(f_{7}\) \(0111\) \(\texttt{(} u ~ v \texttt{)}\) 1 0 0 0 1 1 1 0
\(f_{11}\) \(1011\) \(\texttt{(} u ~ \texttt{(} v \texttt{))}\) 0 1 0 0 1 1 0 1
\(f_{13}\) \(1101\) \(\texttt{((} u \texttt{)} ~ v \texttt{)}\) 0 0 1 0 1 0 1 1
\(f_{14}\) \(1110\) \(\texttt{((} u \texttt{)(} v \texttt{))}\) 0 0 0 1 0 1 1 1
\(f_{15}\) \(1111\) \(\texttt{((~))}\) 0 0 0 0 1 1 1 1


\(\text{Table 10.} ~~ \text{Relation of Quantifiers to Higher Order Propositions}\)
\(\mathrm{Mnemonic}\) \(\mathrm{Category}\) \(\mathrm{Classical~Form}\) \(\mathrm{Alternate~Form}\) \(\mathrm{Symmetric~Form}\) \(\mathrm{Operator}\)
\(\mathrm{E}\)
\(\mathrm{Exclusive}\)
\(\mathrm{Universal}\)
\(\mathrm{Negative}\)
\(\mathrm{All} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}\)   \(\mathrm{No} ~ u ~ \mathrm{is} ~ v\) \(\texttt{(} \ell_{11} \texttt{)}\)
\(\mathrm{A}\)
\(\mathrm{Absolute}\)
\(\mathrm{Universal}\)
\(\mathrm{Affirmative}\)
\(\mathrm{All} ~ u ~ \mathrm{is} ~ v\)   \(\mathrm{No} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}\) \(\texttt{(} \ell_{10} \texttt{)}\)
    \(\mathrm{All} ~ v ~ \mathrm{is} ~ u\) \(\mathrm{No} ~ v ~ \mathrm{is} ~ \texttt{(} u \texttt{)}\) \(\mathrm{No} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ v\) \(\texttt{(} \ell_{01} \texttt{)}\)
    \(\mathrm{All} ~ \texttt{(} v \texttt{)} ~ \mathrm{is} ~ u\) \(\mathrm{No} ~ \texttt{(} v \texttt{)} ~ \mathrm{is} ~ \texttt{(} u \texttt{)}\) \(\mathrm{No} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ \texttt{(} v \texttt{)}\) \(\texttt{(} \ell_{00} \texttt{)}\)
    \(\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ \texttt{(} v \texttt{)}\)   \(\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ \texttt{(} v \texttt{)}\) \(\ell_{00}\)
    \(\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ v\)   \(\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ v\) \(\ell_{01}\)
\(\mathrm{O}\)
\(\mathrm{Obtrusive}\)
\(\mathrm{Particular}\)
\(\mathrm{Negative}\)
\(\mathrm{Some} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}\)   \(\mathrm{Some} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}\) \(\ell_{10}\)
\(\mathrm{I}\)
\(\mathrm{Indefinite}\)
\(\mathrm{Particular}\)
\(\mathrm{Affirmative}\)
\(\mathrm{Some} ~ u ~ \mathrm{is} ~ v\)   \(\mathrm{Some} ~ u ~ \mathrm{is} ~ v\) \(\ell_{11}\)