Changes

2,378 bytes added ,  18:42, 13 December 2008
Line 3,514: Line 3,514:  
| <math>1\!</math>
 
| <math>1\!</math>
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 1 || 1 || 1 || 1 || 1 || 1 || 1 || 1
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 1 || 1 || 1 || 1 || 1 || 1 || 1 || 1
 +
|}<br>
 +
 +
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:white; color:black; font-weight:bold; text-align:center; width:96%"
 +
|+ '''Table 10.  Higher Order Propositions (''n'' = 1)'''
 +
|- style="background:ghostwhite"
 +
| align="right" | <math>x:</math>
 +
| 1 0
 +
| <math>f\!</math>
 +
| <math>m_0</math>
 +
| <math>m_1</math>
 +
| <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>
 +
|-
 +
| <math>f_0</math>
 +
| 0 0
 +
| <math>0\!</math>
 +
| 0 || style="background:black; color:white" | 1
 +
| 0 || style="background:black; color:white" | 1
 +
| 0 || style="background:black; color:white" | 1
 +
| 0 || style="background:black; color:white" | 1
 +
| 0 || style="background:black; color:white" | 1
 +
| 0 || style="background:black; color:white" | 1
 +
| 0 || style="background:black; color:white" | 1
 +
| 0 || style="background:black; color:white" | 1
 +
|-
 +
| <math>f_1</math>
 +
| 0 1
 +
| <math>(x)\!</math>
 +
| 0 || 0
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
| 0 || 0
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
| 0 || 0
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
| 0 || 0
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
|-
 +
| <math>f_2</math>
 +
| 1 0
 +
| <math>x\!</math>
 +
| 0 || 0 || 0 || 0
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
| 0 || 0 || 0 || 0
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
|-
 +
| <math>f_3</math>
 +
| 1 1
 +
| <math>1\!</math>
 +
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 +
| style="background:black; color:white" | 1
 
|}<br>
 
|}<br>
  
12,080

edits