Line 3:
Line 3:
<br>
<br>
−
<table align="center" cellpadding="1" 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%">
+
<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>
<caption><font size="+2"><math>\text{Table 8.} ~~ \text{Simple Qualifiers of Propositions (Version 1)}</math></font></caption>
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>\texttt{(} \ell_{11} \texttt{)}</math><br>
+
<math>\begin{matrix}
−
<math>No ~ u</math><br>
+
\texttt{(} \ell_{11} \texttt{)}
−
<math>is ~ v</math></td>
+
\\
+
\mathrm{No} ~ u
+
\\
+
\mathrm{is} ~ v
+
\end{matrix}</math></td>
<td width="10%" style="border-bottom:1px solid black">
<td width="10%" style="border-bottom:1px solid black">
−
<math>\texttt{(} \ell_{10} \texttt{)}</math><br>
+
<math>\begin{matrix}
−
<math>No ~ u</math><br>
+
\texttt{(} \ell_{10} \texttt{)}
−
<math>is ~ \texttt{(} v \texttt{)}</math></td>
+
\\
+
\mathrm{No} ~ u
+
\\
+
\mathrm{is} ~ \texttt{(} v \texttt{)}
+
\end{matrix}</math></td>
<td width="10%" style="border-bottom:1px solid black">
<td width="10%" style="border-bottom:1px solid black">
−
<math>\texttt{(} \ell_{01} \texttt{)}</math><br>
+
<math>\begin{matrix}
−
<math>No ~ \texttt{(} u \texttt{)}</math><br>
+
\texttt{(} \ell_{01} \texttt{)}
−
<math>is ~ v</math></td>
+
\\
+
\mathrm{No} ~ \texttt{(} u \texttt{)}
+
\\
+
\mathrm{is} ~ v
+
\end{matrix}</math></td>
<td width="10%" style="border-bottom:1px solid black">
<td width="10%" style="border-bottom:1px solid black">
−
<math>\texttt{(} \ell_{00} \texttt{)}</math><br>
+
<math>\begin{matrix}
−
<math>No ~ \texttt{(} u \texttt{)}</math><br>
+
\texttt{(} \ell_{00} \texttt{)}
−
<math>is ~ \texttt{(} v \texttt{)}</math></td>
+
\\
+
\mathrm{No} ~ \texttt{(} u \texttt{)}
+
\\
+
\mathrm{is} ~ \texttt{(} v \texttt{)}
+
\end{matrix}</math></td>
<td width="10%" style="border-bottom:1px solid black">
<td width="10%" style="border-bottom:1px solid black">
−
<math>\ell_{00}</math><br>
+
<math>\begin{matrix}
−
<math>Some ~ \texttt{(} u \texttt{)}</math><br>
+
\ell_{00}
−
<math>is ~ \texttt{(} v \texttt{)}</math></td>
+
\\
+
\mathrm{Some} ~ \texttt{(} u \texttt{)}
+
\\
+
\mathrm{is} ~ \texttt{(} v \texttt{)}
+
\end{matrix}</math></td>
<td width="10%" style="border-bottom:1px solid black">
<td width="10%" style="border-bottom:1px solid black">
−
<math>\ell_{01}</math><br>
+
<math>\begin{matrix}
−
<math>Some ~ \texttt{(} u \texttt{)}</math><br>
+
\ell_{01}
−
<math>is ~ v</math></td>
+
\\
+
\mathrm{Some} ~ \texttt{(} u \texttt{)}
+
\\
+
\mathrm{is} ~ v
+
\end{matrix}</math></td>
<td width="10%" style="border-bottom:1px solid black">
<td width="10%" style="border-bottom:1px solid black">
−
<math>\ell_{10}</math><br>
+
<math>\begin{matrix}
−
<math>Some ~ u</math><br>
+
\ell_{10}
−
<math>is ~ \texttt{(} v \texttt{)}</math></td>
+
\\
+
\mathrm{Some} ~ u
+
\\
+
\mathrm{is} ~ \texttt{(} v \texttt{)}
+
\end{matrix}</math></td>
<td width="10%" style="border-bottom:1px solid black">
<td width="10%" style="border-bottom:1px solid black">
−
<math>\ell_{11}</math><br>
+
<math>\begin{matrix}
−
<math>Some ~ u</math><br>
+
\ell_{11}
−
<math>is ~ v</math></td></tr>
+
\\
+
\mathrm{Some} ~ u
+
\\
+
\mathrm{is} ~ v
+
\end{matrix}</math></td></tr>
<tr>
<tr>
Line 259:
Line 291:
<br>
<br>
−
<table align="center" cellpadding="1" 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%">
+
<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>
<caption><font size="+2"><math>\text{Table 9.} ~~ \text{Simple Qualifiers of Propositions (Version 2)}</math></font></caption>
Line 271:
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>\texttt{(} \ell_{11} \texttt{)}</math><br>
+
<math>\begin{matrix}
−
<math>No ~ u</math><br>
+
\texttt{(} \ell_{11} \texttt{)}
−
<math>is ~ v</math></td>
+
\\
+
\mathrm{No} ~ u
+
\\
+
\mathrm{is} ~ v
+
\end{matrix}</math></td>
<td width="10%" style="border-bottom:1px solid black">
<td width="10%" style="border-bottom:1px solid black">
−
<math>\texttt{(} \ell_{10} \texttt{)}</math><br>
+
<math>\begin{matrix}
−
<math>No ~ u</math><br>
+
\texttt{(} \ell_{10} \texttt{)}
−
<math>is ~ \texttt{(} v \texttt{)}</math></td>
+
\\
+
\mathrm{No} ~ u
+
\\
+
\mathrm{is} ~ \texttt{(} v \texttt{)}
+
\end{matrix}</math></td>
<td width="10%" style="border-bottom:1px solid black">
<td width="10%" style="border-bottom:1px solid black">
−
<math>\texttt{(} \ell_{01} \texttt{)}</math><br>
+
<math>\begin{matrix}
−
<math>No ~ \texttt{(} u \texttt{)}</math><br>
+
\texttt{(} \ell_{01} \texttt{)}
−
<math>is ~ v</math></td>
+
\\
+
\mathrm{No} ~ \texttt{(} u \texttt{)}
+
\\
+
\mathrm{is} ~ v
+
\end{matrix}</math></td>
<td width="10%" style="border-bottom:1px solid black">
<td width="10%" style="border-bottom:1px solid black">
−
<math>\texttt{(} \ell_{00} \texttt{)}</math><br>
+
<math>\begin{matrix}
−
<math>No ~ \texttt{(} u \texttt{)}</math><br>
+
\texttt{(} \ell_{00} \texttt{)}
−
<math>is ~ \texttt{(} v \texttt{)}</math></td>
+
\\
+
\mathrm{No} ~ \texttt{(} u \texttt{)}
+
\\
+
\mathrm{is} ~ \texttt{(} v \texttt{)}
+
\end{matrix}</math></td>
<td width="10%" style="border-bottom:1px solid black">
<td width="10%" style="border-bottom:1px solid black">
−
<math>\ell_{00}</math><br>
+
<math>\begin{matrix}
−
<math>Some ~ \texttt{(} u \texttt{)}</math><br>
+
\ell_{00}
−
<math>is ~ \texttt{(} v \texttt{)}</math></td>
+
\\
+
\mathrm{Some} ~ \texttt{(} u \texttt{)}
+
\\
+
\mathrm{is} ~ \texttt{(} v \texttt{)}
+
\end{matrix}</math></td>
<td width="10%" style="border-bottom:1px solid black">
<td width="10%" style="border-bottom:1px solid black">
−
<math>\ell_{01}</math><br>
+
<math>\begin{matrix}
−
<math>Some ~ \texttt{(} u \texttt{)}</math><br>
+
\ell_{01}
−
<math>is ~ v</math></td>
+
\\
+
\mathrm{Some} ~ \texttt{(} u \texttt{)}
+
\\
+
\mathrm{is} ~ v
+
\end{matrix}</math></td>
<td width="10%" style="border-bottom:1px solid black">
<td width="10%" style="border-bottom:1px solid black">
−
<math>\ell_{10}</math><br>
+
<math>\begin{matrix}
−
<math>Some ~ u</math><br>
+
\ell_{10}
−
<math>is ~ \texttt{(} v \texttt{)}</math></td>
+
\\
+
\mathrm{Some} ~ u
+
\\
+
\mathrm{is} ~ \texttt{(} v \texttt{)}
+
\end{matrix}</math></td>
<td width="10%" style="border-bottom:1px solid black">
<td width="10%" style="border-bottom:1px solid black">
−
<math>\ell_{11}</math><br>
+
<math>\begin{matrix}
−
<math>Some ~ u</math><br>
+
\ell_{11}
−
<math>is ~ v</math></td></tr>
+
\\
+
\mathrm{Some} ~ u
+
\\
+
\mathrm{is} ~ v
+
\end{matrix}</math></td></tr>
<tr>
<tr>