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> |
| | | |