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> |