12,140
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 03:18, 20 November 2008
, 03:18, 20 November 2008no edit summary
|-
|-
| <math>m_0\!</math>
| <math>m_0\!</math>
| nothing happens
| Nothing happens
|
|
|
|
| <math>m_1\!</math>
| <math>m_1\!</math>
|
|
| just false
| Just false
| nothing exists
| Nothing exists
|
|
|
|
| <math>m_2\!</math>
| <math>m_2\!</math>
|
|
| just not ''x''
| Just not <math>x\!</math>
|
|
|
|
|
|
|
|
| nothing is ''x''
| Nothing is <math>x\!</math>
|
|
|
|
| <math>m_4\!</math>
| <math>m_4\!</math>
|
|
| just ''x''
| Just <math>x\!</math>
|
|
|
|
|
|
|
|
| everything is ''x''
| Everything is <math>x\!</math>
| ''f'' is linear
| <math>f\!</math> is linear
|
|
|
|
|
|
|
|
| ''f'' is not uniform
| <math>f\!</math> is not uniform
| ''f'' is informed
| <math>f\!</math> is informed
|-
|-
| <math>m_7\!</math>
| <math>m_7\!</math>
|
|
| not just true
| Not just true
|
|
|
|
| <math>m_8\!</math>
| <math>m_8\!</math>
|
|
| just true
| Just true
|
|
|
|
|
|
|
|
| ''f'' is uniform
| <math>f\!</math> is uniform
| ''f'' is not informed
| <math>f\!</math> is not informed
|-
|-
| <math>m_{10}\!</math>
| <math>m_{10}\!</math>
|
|
|
|
| something is not ''x''
| Something is not <math>x\!</math>
| ''f'' is not linear
| <math>f\!</math> is not linear
|
|
|
|
| <math>m_{11}\!</math>
| <math>m_{11}\!</math>
|
|
| not just ''x''
| Not just <math>x\!</math>
|
|
|
|
|
|
|
|
| something is ''x''
| Something is <math>x\!</math>
|
|
|
|
| <math>m_{13}\!</math>
| <math>m_{13}\!</math>
|
|
| not just not ''x''
| Not just not <math>x\!</math>
|
|
|
|
| <math>m_{14}\!</math>
| <math>m_{14}\!</math>
|
|
| not just false
| Not just false
| something exists
| Something exists
|
|
|
|
|-
|-
| <math>m_{15}\!</math>
| <math>m_{15}\!</math>
| anything happens
| Anything happens
|
|
|
|