12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 22:44, 19 November 2008
, 22:44, 19 November 2008HTML → TeX
|+ '''Table 1. Higher Order Propositions (''n'' = 1)'''
|+ '''Table 1. Higher Order Propositions (''n'' = 1)'''
|- style="background:ghostwhite"
|- style="background:ghostwhite"
| \ ''x'' || 1 0 || ''F''
| align="right" | <math>x</math>:
|''m''||''m''||''m''||''m''||''m''||''m''||''m''||''m''
| 1 0
|''m''||''m''||''m''||''m''||''m''||''m''||''m''||''m''
| <math>F</math>
|- style="background:ghostwhite"
| <math>m_0</math>
| ''F'' \ || ||
| <math>m_1</math>
|00||01||02||03||04||05||06||07||08||09||10||11||12||13||14||15
| <math>m_2</math>
| <math>m_3</math>
| <math>m_4</math>
| <math>m_5</math>
| <math>m_6</math>
| <math>m_7</math>
| <math>m_8</math>
| <math>m_9</math>
| <math>m_{10}</math>
| <math>m_{11}</math>
| <math>m_{12}</math>
| <math>m_{13}</math>
| <math>m_{14}</math>
| <math>m_{15}</math>
|-
|-
| ''F<sub>0</sub> || 0 0 || 0 ||0||1||0||1||0||1||0||1||0||1||0||1||0||1||0||1
| <math>F_0</math>
| 0 0
| <math>0\!</math>
| 0 || 1 || 0 || 1 || 0 || 1 || 0 || 1 || 0 || 1 || 0 || 1 || 0 || 1 || 0 || 1
|-
|-
| ''F<sub>1</sub> || 0 1 || (x) ||0||0||1||1||0||0||1||1||0||0||1||1||0||0||1||1
| <math>F_1</math>
| 0 1
| <math>(x)\!</math>
| 0 || 0 || 1 || 1 || 0 || 0 || 1 || 1 || 0 || 0 || 1 || 1 || 0 || 0 || 1 || 1
|-
|-
| ''F<sub>2</sub> || 1 0 || x ||0||0||0||0||1||1||1||1||0||0||0||0||1||1||1||1
| <math>F_2</math>
| 1 0
| <math>x\!</math>
| 0 || 0 || 0 || 0 || 1 || 1 || 1 || 1 || 0 || 0 || 0 || 0 || 1 || 1 || 1 || 1
|-
|-
| ''F<sub>3</sub> || 1 1 || 1 ||0||0||0||0||0||0||0||0||1||1||1||1||1||1||1||1
| <math>F_3</math>
| 1 1
| <math>1\!</math>
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 1 || 1 || 1 || 1 || 1 || 1 || 1 || 1
|}<br>
|}<br>