12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 19:48, 20 November 2008
, 19:48, 20 November 2008no edit summary
|}<br>
|}<br>
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:90%"
{| align="center" border="1" cellpadding="2" cellspacing="0" style="font-weight:bold; text-align:center; width:90%"
|+ '''Table 9. Simple Qualifiers of Propositions (''n'' = 2)'''
|+ '''Table 9. Simple Qualifiers of Propositions (''n'' = 2)'''
|- style="background:ghostwhite"
|- style="background:ghostwhite"
| align="right" | ''x'' : || 1100 || ''f''
| align="right" | <math>x:</math><br><math>y:</math>
| <math>(\!| \ell_{11} |\!)</math>
| 1100<br>1010
| <math>(\!| \ell_{10} |\!)</math>
| <math>f\!</math>
| <math>(\!| \ell_{01} |\!)</math>
| <math>(\ell_{11})</math><br>No <math> x </math><br>is <math> y </math>
| <math>(\ell_{10})</math><br>No <math> x </math><br>is <math>(y)</math>
| <math>\ell_{00}</math>
| <math>(\ell_{01})</math><br>No <math>(x)</math><br>is <math> y </math>
| <math>(\ell_{00})</math><br>No <math>(x)</math><br>is <math>(y)</math>
| <math> \ell_{00} </math><br>Some <math>(x)</math><br>is <math>(y)</math>
| <math>\ell_{11}</math>
| <math> \ell_{01} </math><br>Some <math>(x)</math><br>is <math> y </math>
| <math> \ell_{10} </math><br>Some <math> x </math><br>is <math>(y)</math>
| <math> \ell_{11} </math><br>Some <math> x </math><br>is <math> y </math>
| align=left | no (x) <br> is y
| align=left | no (x) <br> is (y)
| align=left | some (x) <br> is y
|-
|-
| ''f<sub>0</sub> || 0000 || ( )
| <math>f_0</math> || 0000 || <math>(~)</math>
| 1 || 1 || 1 || 1 || 0 || 0 || 0 || 0
| 1 || 1 || 1 || 1 || 0 || 0 || 0 || 0
|-
|-
| ''f<sub>1</sub> || 0001 || (x)(y)
| <math>f_1</math> || 0001 || <math>(x)(y)\!</math>
| 1 || 1 || 1 || 0 || 1 || 0 || 0 || 0
| 1 || 1 || 1 || 0 || 1 || 0 || 0 || 0
|-
|-
| ''f<sub>2</sub> || 0010 || (x) y
| <math>f_2</math> || 0010 || <math>(x) y\!</math>
| 1 || 1 || 0 || 1 || 0 || 1 || 0 || 0
| 1 || 1 || 0 || 1 || 0 || 1 || 0 || 0
|-
|-
| ''f<sub>3</sub> || 0011 || (x)
| <math>f_3</math> || 0011 || <math>(x)\!</math>
| 1 || 1 || 0 || 0 || 1 || 1 || 0 || 0
| 1 || 1 || 0 || 0 || 1 || 1 || 0 || 0
|-
|-
| ''f<sub>4</sub> || 0100 || x (y)
| <math>f_4</math> || 0100 || <math>x (y)\!</math>
| 1 || 0 || 1 || 1 || 0 || 0 || 1 || 0
| 1 || 0 || 1 || 1 || 0 || 0 || 1 || 0
|-
|-
| ''f<sub>5</sub> || 0101 || (y)
| <math>f_5</math> || 0101 || <math>(y)\!</math>
| 1 || 0 || 1 || 0 || 1 || 0 || 1 || 0
| 1 || 0 || 1 || 0 || 1 || 0 || 1 || 0
|-
|-
| ''f<sub>6</sub> || 0110 || (x, y)
| <math>f_6</math> || 0110 || <math>(x, y)\!</math>
| 1 || 0 || 0 || 1 || 0 || 1 || 1 || 0
| 1 || 0 || 0 || 1 || 0 || 1 || 1 || 0
|-
|-
| ''f<sub>7</sub> || 0111 || (x y)
| <math>f_7</math> || 0111 || <math>(x y)\!</math>
| 1 || 0 || 0 || 0 || 1 || 1 || 1 || 0
| 1 || 0 || 0 || 0 || 1 || 1 || 1 || 0
|-
|-
| ''f<sub>8</sub> || 1000 || x y
| <math>f_8</math> || 1000 || <math>x y\!</math>
| 0 || 1 || 1 || 1 || 0 || 0 || 0 || 1
| 0 || 1 || 1 || 1 || 0 || 0 || 0 || 1
|-
|-
| ''f<sub>9</sub> || 1001 || ((x, y))
| <math>f_9</math> || 1001 || <math>((x, y))\!</math>
| 0 || 1 || 1 || 0 || 1 || 0 || 0 || 1
| 0 || 1 || 1 || 0 || 1 || 0 || 0 || 1
|-
|-
| ''f<sub>10</sub> || 1010 || y
| <math>f_{10}</math> || 1010 || <math>y\!</math>
| 0 || 1 || 0 || 1 || 0 || 1 || 0 || 1
| 0 || 1 || 0 || 1 || 0 || 1 || 0 || 1
|-
|-
| ''f<sub>11</sub> || 1011 || (x (y))
| <math>f_{11}</math> || 1011 || <math>(x (y))\!</math>
| 0 || 1 || 0 || 0 || 1 || 1 || 0 || 1
| 0 || 1 || 0 || 0 || 1 || 1 || 0 || 1
|-
|-
| ''f<sub>12</sub> || 1100 || x
| <math>f_{12}</math> || 1100 || <math>x\!</math>
| 0 || 0 || 1 || 1 || 0 || 0 || 1 || 1
| 0 || 0 || 1 || 1 || 0 || 0 || 1 || 1
|-
|-
| ''f<sub>13</sub> || 1101 || ((x) y)
| <math>f_{13}</math> || 1101 || <math>((x) y)\!</math>
| 0 || 0 || 1 || 0 || 1 || 0 || 1 || 1
| 0 || 0 || 1 || 0 || 1 || 0 || 1 || 1
|-
|-
| ''f<sub>14</sub> || 1110 || ((x)(y))
| <math>f_{14}</math> || 1110 || <math>((x)(y))\!</math>
| 0 || 0 || 0 || 1 || 0 || 1 || 1 || 1
| 0 || 0 || 0 || 1 || 0 || 1 || 1 || 1
|-
|-
| ''f<sub>15</sub> || 1111 || (( ))
| <math>f_{15}</math> || 1111 || <math>((~))</math>
| 0 || 0 || 0 || 0 || 1 || 1 || 1 || 1
| 0 || 0 || 0 || 0 || 1 || 1 || 1 || 1
|}<br>
|}<br>