12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday April 27, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions (view source)
Revision as of 22:22, 23 November 2009
, 22:22, 23 November 2009→Application of Higher Order Propositions to Quantification Theory: restyle tables
<tr>
<tr>
<td><math>\mathrm{E}</math><br><math>\mathrm{Exclusive}</math></td>
<td><math>\begin{matrix}
<td><math>\mathrm{Universal}</math><br><math>\mathrm{Negative}</math></td>
\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><math>\mathrm{All} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
<td> </td>
<td> </td>
<tr>
<tr>
<td><math>\mathrm{A}</math><br><math>\mathrm{Absolute}</math></td>
<td style="border-bottom:1px solid black">
<td><math>\mathrm{Universal}</math><br><math>\mathrm{Affirmative}</math></td>
<math>\begin{matrix}
<td><math>\mathrm{All} ~ u ~ \mathrm{is} ~ v</math></td>
\mathrm{A}
<td> </td>
\\
<td><math>\mathrm{No} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
\mathrm{Absolute}
<td><math>\texttt{(} \ell_{10} \texttt{)}</math></td></tr>
\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>
<tr>
<tr>
<tr>
<td> </td>
<td style="border-bottom:1px solid black"> </td>
<td> </td>
<td style="border-bottom:1px solid black"> </td>
<td><math>\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ v</math></td>
<td style="border-bottom:1px solid black"><math>\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ v</math></td>
<td> </td>
<td style="border-bottom:1px solid black"> </td>
<td><math>\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ v</math></td>
<td style="border-bottom:1px solid black"><math>\mathrm{Some} ~ \texttt{(} u \texttt{)} ~ \mathrm{is} ~ v</math></td>
<td><math>\ell_{01}</math></td></tr>
<td style="border-bottom:1px solid black"><math>\ell_{01}</math></td></tr>
<tr>
<tr>
<td><math>\mathrm{O}</math><br><math>\mathrm{Obtrusive}</math></td>
<td><math>\begin{matrix}
<td><math>\mathrm{Particular}</math><br><math>\mathrm{Negative}</math></td>
\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><math>\mathrm{Some} ~ u ~ \mathrm{is} ~ \texttt{(} v \texttt{)}</math></td>
<td> </td>
<td> </td>
<tr>
<tr>
<td><math>\mathrm{I}</math><br><math>\mathrm{Indefinite}</math></td>
<td><math>\begin{matrix}
<td><math>\mathrm{Particular}</math><br><math>\mathrm{Affirmative}</math></td>
\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><math>\mathrm{Some} ~ u ~ \mathrm{is} ~ v</math></td>
<td> </td>
<td> </td>
