12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 21:22, 20 November 2008
, 21:22, 20 November 2008no edit summary
| <math>\text{All}\ x\ \text{is}\ (y)</math>
| <math>\text{All}\ x\ \text{is}\ (y)</math>
|
|
| <math>\text{No}\ x\ \text{is}\ y</math>
| <math>\text{No}\ x\ \text{is}\ y </math>
| <math>(\ell_{11})</math>
| <math>(\ell_{11})</math>
|-
|-
| <math>\text{A}\!</math><br>Absolute
| <math>\text{A}\!</math><br>Absolute
| Universal<br>Affirmative
| Universal<br>Affirmative
| <math>\text{All}\ x\ \text{is}\ y</math>
| <math>\text{All}\ x\ \text{is}\ y </math>
|
|
| <math>\text{No}\ x\ \text{is}\ (y)</math>
| <math>\text{No}\ x\ \text{is}\ (y)</math>
| <math>(\ell_{10})</math>
| <math>(\ell_{10})</math>
|-
|-
|
|
|
|
| <math>\text{All}\ y\ \text{is}\ x</math>
| <math>\text{All}\ y\ \text{is}\ x </math>
| <math>\text{No}\ y\ \text{is}\ (x)</math>
| <math>\text{No}\ y\ \text{is}\ (x)</math>
| <math>\text{No}\ (x)\ \text{is}\ y</math>
| <math>\text{No}\ (x)\ \text{is}\ y </math>
| <math>(\ell_{01})</math>
| <math>(\ell_{01})</math>
|-
|-
|
|
|
|
| <math>\text{All}\ (y)\ \text{is}\ x</math>
| <math>\text{All}\ (y)\ \text{is}\ x </math>
| <math>\text{No}\ (y)\ \text{is}\ (x)</math>
| <math>\text{No}\ (y)\ \text{is}\ (x)</math>
| <math>\text{No}\ (x)\ \text{is}\ (y)</math>
| <math>\text{No}\ (x)\ \text{is}\ (y)</math>
| <math>(\ell_{00})</math>
| <math>(\ell_{00})</math>
|-
|-