User:Jon Awbrey/TEST

MyWikiBiz, Author Your Legacy — Thursday November 21, 2024
< User:Jon Awbrey
Revision as of 22:14, 23 November 2009 by Jon Awbrey (talk | contribs) (→‎Wet Paint: format 2 line entries as matrices)
Jump to navigationJump to search

Wet Paint


\(\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}\)
\(\begin{matrix} \mathrm{E} \\ \mathrm{Exclusive} \end{matrix}\) \(\begin{matrix} \mathrm{Universal} \\ \mathrm{Negative} \end{matrix}\) \(\mathrm{All} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}\)   \(\mathrm{No} ~ u ~ \mathrm{is} ~ v\) \(\texttt{(} \ell_{11} \texttt{)}\)
\(\begin{matrix} \mathrm{A} \\ \mathrm{Absolute} \end{matrix}\) \(\begin{matrix} \mathrm{Universal} \\ \mathrm{Affirmative} \end{matrix}\) \(\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}\)
\(\begin{matrix} \mathrm{O} \\ \mathrm{Obtrusive} \end{matrix}\) \(\begin{matrix} \mathrm{Particular} \\ \mathrm{Negative} \end{matrix}\) \(\mathrm{Some} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}\)   \(\mathrm{Some} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}\) \(\ell_{10}\)
\(\begin{matrix} \mathrm{I} \\ \mathrm{Indefinite} \end{matrix}\) \(\begin{matrix} \mathrm{Particular} \\ \mathrm{Affirmative} \end{matrix}\) \(\mathrm{Some} ~ u ~ \mathrm{is} ~ v\)   \(\mathrm{Some} ~ u ~ \mathrm{is} ~ v\) \(\ell_{11}\)