12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 20:40, 21 November 2008
, 20:40, 21 November 2008→Axioms vs. Rules: i'll be back …
| 1100<br>1010
| 1100<br>1010
| <math>f\!</math>
| <math>f\!</math>
| <math>(\ell_{11})</math><br>No <math> x </math><br>is <math> y </math>
| <math>(\ell_{11})</math><br><math>\text{No } x </math><br><math>\text{is } y </math>
| <math>(\ell_{10})</math><br>No <math> x </math><br>is <math>(y)</math>
| <math>(\ell_{10})</math><br><math>\text{No } x </math><br><math>\text{is }(y)</math>
| <math>(\ell_{01})</math><br>No <math>(x)</math><br>is <math> y </math>
| <math>(\ell_{01})</math><br><math>\text{No }(x)</math><br><math>\text{is } y </math>
| <math>(\ell_{00})</math><br>No <math>(x)</math><br>is <math>(y)</math>
| <math>(\ell_{00})</math><br><math>\text{No }(x)</math><br><math>\text{is }(y)</math>
| <math> \ell_{00} </math><br>Some <math>(x)</math><br>is <math>(y)</math>
| <math> \ell_{00} </math><br><math>\text{Some }(x)</math><br><math>\text{is }(y)</math>
| <math> \ell_{01} </math><br>Some <math>(x)</math><br>is <math> y </math>
| <math> \ell_{01} </math><br><math>\text{Some }(x)</math><br><math>\text{is } y </math>
| <math> \ell_{10} </math><br>Some <math> x </math><br>is <math>(y)</math>
| <math> \ell_{10} </math><br><math>\text{Some } x </math><br><math>\text{is }(y)</math>
| <math> \ell_{11} </math><br>Some <math> x </math><br>is <math> y </math>
| <math> \ell_{11} </math><br><math>\text{Some } x </math><br><math>\text{is } y </math>
|-
|-
| <math>f_0</math> || 0000 || <math>(~)</math>
| <math>f_0</math> || 0000 || <math>(~)</math>