|
|
| Line 1: |
Line 1: |
| − | ==Wet Paint== | + | ==Test Area== |
| − | | |
| − | <br>
| |
| − | | |
| − | <table align="center" cellpadding="4" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center; width:90%">
| |
| − | | |
| − | <caption><font size="+2"><math>\text{Table 8.} ~~ \text{Simple Qualifiers of Propositions (Version 1)}</math></font></caption>
| |
| − | | |
| − | <tr>
| |
| − | <td width="4%" style="border-bottom:1px solid black" align="right">
| |
| − | <math>\begin{matrix}u\!:\\v\!:\end{matrix}</math></td>
| |
| − | <td width="6%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{matrix}1100\\1010\end{matrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black; border-right:1px solid black">
| |
| − | <math>f</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \texttt{(} \ell_{11} \texttt{)}
| |
| − | \\
| |
| − | \mathrm{No} ~ u
| |
| − | \\
| |
| − | \mathrm{is} ~ v
| |
| − | \end{smallmatrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \texttt{(} \ell_{10} \texttt{)}
| |
| − | \\
| |
| − | \mathrm{No} ~ u
| |
| − | \\
| |
| − | \mathrm{is} ~ \texttt{(} v \texttt{)}
| |
| − | \end{smallmatrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \texttt{(} \ell_{01} \texttt{)}
| |
| − | \\
| |
| − | \mathrm{No} ~ \texttt{(} u \texttt{)}
| |
| − | \\
| |
| − | \mathrm{is} ~ v
| |
| − | \end{smallmatrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \texttt{(} \ell_{00} \texttt{)}
| |
| − | \\
| |
| − | \mathrm{No} ~ \texttt{(} u \texttt{)}
| |
| − | \\
| |
| − | \mathrm{is} ~ \texttt{(} v \texttt{)}
| |
| − | \end{smallmatrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \ell_{00}
| |
| − | \\
| |
| − | \mathrm{Some} ~ \texttt{(} u \texttt{)}
| |
| − | \\
| |
| − | \mathrm{is} ~ \texttt{(} v \texttt{)}
| |
| − | \end{smallmatrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \ell_{01}
| |
| − | \\
| |
| − | \mathrm{Some} ~ \texttt{(} u \texttt{)}
| |
| − | \\
| |
| − | \mathrm{is} ~ v
| |
| − | \end{smallmatrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \ell_{10}
| |
| − | \\
| |
| − | \mathrm{Some} ~ u
| |
| − | \\
| |
| − | \mathrm{is} ~ \texttt{(} v \texttt{)}
| |
| − | \end{smallmatrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \ell_{11}
| |
| − | \\
| |
| − | \mathrm{Some} ~ u
| |
| − | \\
| |
| − | \mathrm{is} ~ v
| |
| − | \end{smallmatrix}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{0}</math></td>
| |
| − | <td><math>0000</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(~)}</math></td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{1}</math></td>
| |
| − | <td><math>0001</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u \texttt{)(} v \texttt{)}</math></td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{2}</math></td>
| |
| − | <td><math>0010</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u\texttt{)} ~ v</math></td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{3}</math></td>
| |
| − | <td><math>0011</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u \texttt{)}</math></td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{4}</math></td>
| |
| − | <td><math>0100</math></td>
| |
| − | <td style="border-right:1px solid black"><math>u ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{5}</math></td>
| |
| − | <td><math>0101</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} v \texttt{)}</math></td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{6}</math></td>
| |
| − | <td><math>0110</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u \texttt{,} v \texttt{)}</math></td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{7}</math></td>
| |
| − | <td><math>0111</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u ~ v \texttt{)}</math></td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{8}</math></td>
| |
| − | <td><math>1000</math></td>
| |
| − | <td style="border-right:1px solid black"><math>u ~ v</math></td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{9}</math></td>
| |
| − | <td><math>1001</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{((} u \texttt{,} v \texttt{))}</math></td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{10}</math></td>
| |
| − | <td><math>1010</math></td>
| |
| − | <td style="border-right:1px solid black"><math>v</math></td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{11}</math></td>
| |
| − | <td><math>1011</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u ~ \texttt{(} v \texttt{))}</math></td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{12}</math></td>
| |
| − | <td><math>1100</math></td>
| |
| − | <td style="border-right:1px solid black"><math>u</math></td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{13}</math></td>
| |
| − | <td><math>1101</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{((} u \texttt{)} ~ v \texttt{)}</math></td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{14}</math></td>
| |
| − | <td><math>1110</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{((} u \texttt{)(} v \texttt{))}</math></td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{15}</math></td>
| |
| − | <td><math>1111</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{((~))}</math></td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td></tr>
| |
| − | | |
| − | </table>
| |
| − | | |
| − | <br>
| |
| − | | |
| − | <table align="center" cellpadding="4" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center; width:90%">
| |
| − | | |
| − | <caption><font size="+2"><math>\text{Table 9.} ~~ \text{Simple Qualifiers of Propositions (Version 2)}</math></font></caption>
| |
| − | | |
| − | <tr>
| |
| − | <td width="4%" style="border-bottom:1px solid black" align="right">
| |
| − | <math>\begin{matrix}u\!:\\v\!:\end{matrix}</math></td>
| |
| − | <td width="6%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{matrix}1100\\1010\end{matrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black; border-right:1px solid black">
| |
| − | <math>f</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \texttt{(} \ell_{11} \texttt{)}
| |
| − | \\
| |
| − | \mathrm{No} ~ u
| |
| − | \\
| |
| − | \mathrm{is} ~ v
| |
| − | \end{smallmatrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \texttt{(} \ell_{10} \texttt{)}
| |
| − | \\
| |
| − | \mathrm{No} ~ u
| |
| − | \\
| |
| − | \mathrm{is} ~ \texttt{(} v \texttt{)}
| |
| − | \end{smallmatrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \texttt{(} \ell_{01} \texttt{)}
| |
| − | \\
| |
| − | \mathrm{No} ~ \texttt{(} u \texttt{)}
| |
| − | \\
| |
| − | \mathrm{is} ~ v
| |
| − | \end{smallmatrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \texttt{(} \ell_{00} \texttt{)}
| |
| − | \\
| |
| − | \mathrm{No} ~ \texttt{(} u \texttt{)}
| |
| − | \\
| |
| − | \mathrm{is} ~ \texttt{(} v \texttt{)}
| |
| − | \end{smallmatrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \ell_{00}
| |
| − | \\
| |
| − | \mathrm{Some} ~ \texttt{(} u \texttt{)}
| |
| − | \\
| |
| − | \mathrm{is} ~ \texttt{(} v \texttt{)}
| |
| − | \end{smallmatrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \ell_{01}
| |
| − | \\
| |
| − | \mathrm{Some} ~ \texttt{(} u \texttt{)}
| |
| − | \\
| |
| − | \mathrm{is} ~ v
| |
| − | \end{smallmatrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \ell_{10}
| |
| − | \\
| |
| − | \mathrm{Some} ~ u
| |
| − | \\
| |
| − | \mathrm{is} ~ \texttt{(} v \texttt{)}
| |
| − | \end{smallmatrix}</math></td>
| |
| − | <td width="10%" style="border-bottom:1px solid black">
| |
| − | <math>\begin{smallmatrix}
| |
| − | \ell_{11}
| |
| − | \\
| |
| − | \mathrm{Some} ~ u
| |
| − | \\
| |
| − | \mathrm{is} ~ v
| |
| − | \end{smallmatrix}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td style="border-bottom:1px solid black"><math>f_{0}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>0000</math></td>
| |
| − | <td style="border-bottom:1px solid black; border-right:1px solid black"><math>\texttt{(~)}</math></td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{1}</math></td>
| |
| − | <td><math>0001</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u \texttt{)(} v \texttt{)}</math></td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{2}</math></td>
| |
| − | <td><math>0010</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u\texttt{)} ~ v</math></td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{4}</math></td>
| |
| − | <td><math>0100</math></td>
| |
| − | <td style="border-right:1px solid black"><math>u ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td style="border-bottom:1px solid black"><math>f_{8}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>1000</math></td>
| |
| − | <td style="border-bottom:1px solid black; border-right:1px solid black"><math>u ~ v</math></td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{3}</math></td>
| |
| − | <td><math>0011</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u \texttt{)}</math></td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td style="border-bottom:1px solid black"><math>f_{12}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>1100</math></td>
| |
| − | <td style="border-bottom:1px solid black; border-right:1px solid black"><math>u</math></td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{6}</math></td>
| |
| − | <td><math>0110</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u \texttt{,} v \texttt{)}</math></td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td style="border-bottom:1px solid black"><math>f_{9}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>1001</math></td>
| |
| − | <td style="border-bottom:1px solid black; border-right:1px solid black"><math>\texttt{((} u \texttt{,} v \texttt{))}</math></td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{5}</math></td>
| |
| − | <td><math>0101</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} v \texttt{)}</math></td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td style="border-bottom:1px solid black"><math>f_{10}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>1010</math></td>
| |
| − | <td style="border-bottom:1px solid black; border-right:1px solid black"><math>v</math></td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{7}</math></td>
| |
| − | <td><math>0111</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u ~ v \texttt{)}</math></td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{11}</math></td>
| |
| − | <td><math>1011</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{(} u ~ \texttt{(} v \texttt{))}</math></td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{13}</math></td>
| |
| − | <td><math>1101</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{((} u \texttt{)} ~ v \texttt{)}</math></td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td style="border-bottom:1px solid black"><math>f_{14}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>1110</math></td>
| |
| − | <td style="border-bottom:1px solid black; border-right:1px solid black"><math>\texttt{((} u \texttt{)(} v \texttt{))}</math></td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:white; color:black">0</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td>
| |
| − | <td style="border-bottom:1px solid black; background:black; color:white">1</td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>f_{15}</math></td>
| |
| − | <td><math>1111</math></td>
| |
| − | <td style="border-right:1px solid black"><math>\texttt{((~))}</math></td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:white; color:black">0</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td>
| |
| − | <td style="background:black; color:white">1</td></tr>
| |
| − | | |
| − | </table>
| |
| − | | |
| − | <br>
| |
| − | | |
| − | <table align="center" cellpadding="4" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center; width:90%">
| |
| − | | |
| − | <caption><font size="+2"><math>\text{Table 10.} ~~ \text{Relation of Quantifiers to Higher Order Propositions}</math></font></caption>
| |
| − | | |
| − | <tr>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{Mnemonic}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{Category}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{Classical~Form}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{Alternate~Form}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{Symmetric~Form}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{Operator}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>\begin{matrix}
| |
| − | \mathrm{E}
| |
| − | \\
| |
| − | \mathrm{Exclusive}
| |
| − | \end{matrix}</math></td>
| |
| − | <td><math>\begin{matrix}
| |
| − | \mathrm{Universal}
| |
| − | \\
| |
| − | \mathrm{Negative}
| |
| − | \end{matrix}</math></td>
| |
| − | <td><math>\mathrm{All} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td> </td>
| |
| − | <td><math>\mathrm{No} ~ u ~ \mathrm{is} ~ v</math></td>
| |
| − | <td><math>\texttt{(} \ell_{11} \texttt{)}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td style="border-bottom:1px solid black">
| |
| − | <math>\begin{matrix}
| |
| − | \mathrm{A}
| |
| − | \\
| |
| − | \mathrm{Absolute}
| |
| − | \end{matrix}</math></td>
| |
| − | <td style="border-bottom:1px solid black">
| |
| − | <math>\begin{matrix}
| |
| − | \mathrm{Universal}
| |
| − | \\
| |
| − | \mathrm{Affirmative}
| |
| − | \end{matrix}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{All} ~ u ~ \mathrm{is} ~ v</math></td>
| |
| − | <td style="border-bottom:1px solid black"> </td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{No} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\texttt{(} \ell_{10} \texttt{)}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td> </td>
| |
| − | <td> </td>
| |
| − | <td><math>\mathrm{All} ~ v ~ \mathrm{is} ~ u</math></td>
| |
| − | <td><math>\mathrm{No} ~ v ~ \mathrm{is} ~ \texttt{(} u \texttt{)}</math></td>
| |
| − | <td><math>\mathrm{No} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ v</math></td>
| |
| − | <td><math>\texttt{(} \ell_{01} \texttt{)}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td style="border-bottom:1px solid black"> </td>
| |
| − | <td style="border-bottom:1px solid black"> </td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{All} ~ \texttt{(} v \texttt{)} ~ \mathrm{is} ~ u</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{No} ~ \texttt{(} v \texttt{)} ~ \mathrm{is} ~ \texttt{(} u \texttt{)}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{No} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\texttt{(} \ell_{00} \texttt{)}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td> </td>
| |
| − | <td> </td>
| |
| − | <td><math>\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td> </td>
| |
| − | <td><math>\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td><math>\ell_{00}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td style="border-bottom:1px solid black"> </td>
| |
| − | <td style="border-bottom:1px solid black"> </td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ v</math></td>
| |
| − | <td style="border-bottom:1px solid black"> </td>
| |
| − | <td style="border-bottom:1px solid black"><math>\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ v</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\ell_{01}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>\begin{matrix}
| |
| − | \mathrm{O}
| |
| − | \\
| |
| − | \mathrm{Obtrusive}
| |
| − | \end{matrix}</math></td>
| |
| − | <td><math>\begin{matrix}
| |
| − | \mathrm{Particular}
| |
| − | \\
| |
| − | \mathrm{Negative}
| |
| − | \end{matrix}</math></td>
| |
| − | <td><math>\mathrm{Some} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td> </td>
| |
| − | <td><math>\mathrm{Some} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
| |
| − | <td><math>\ell_{10}</math></td></tr>
| |
| − | | |
| − | <tr>
| |
| − | <td><math>\begin{matrix}
| |
| − | \mathrm{I}
| |
| − | \\
| |
| − | \mathrm{Indefinite}
| |
| − | \end{matrix}</math></td>
| |
| − | <td><math>\begin{matrix}
| |
| − | \mathrm{Particular}
| |
| − | \\
| |
| − | \mathrm{Affirmative}
| |
| − | \end{matrix}</math></td>
| |
| − | <td><math>\mathrm{Some} ~ u ~ \mathrm{is} ~ v</math></td>
| |
| − | <td> </td>
| |
| − | <td><math>\mathrm{Some} ~ u ~ \mathrm{is} ~ v</math></td>
| |
| − | <td><math>\ell_{11}</math></td></tr>
| |
| − | | |
| − | </table>
| |
| − | | |
| − | <br>
| |
