| Line 761: |
Line 761: |
| | --------------------------------------------------- | | --------------------------------------------------- |
| | </pre> | | </pre> |
| − |
| |
| − | ==Example of a Raw HTML Table==
| |
| − |
| |
| − | <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>\text{Mnemonic}\!</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\text{Category}\!</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\text{Classical Form}\!</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\text{Alternate Form}\!</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\text{Symmetric Form}\!</math></td>
| |
| − | <td style="border-bottom:1px solid black"><math>\text{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>
| |
| | | | |
| | ==A109300== | | ==A109300== |
| Line 881: |
Line 767: |
| | | | |
| | ===JPEG=== | | ===JPEG=== |
| | + | |
| | + | <br> |
| | | | |
| | {| align="center" border="1" cellpadding="10" | | {| align="center" border="1" cellpadding="10" |
| Line 905: |
Line 793: |
| | <p><math>\begin{array}{l} 1\!:\!2 ~~ 2\!:\!2 \\ 36 \end{array}</math></p> | | <p><math>\begin{array}{l} 1\!:\!2 ~~ 2\!:\!2 \\ 36 \end{array}</math></p> |
| | |} | | |} |
| | + | |
| | + | <br> |
| | | | |
| | ===ASCII=== | | ===ASCII=== |