12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 22:44, 19 November 2008
, 22:44, 19 November 2008HTML → TeX
Line 19:
Line 19:
|+ '''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>
