MyWikiBiz, Author Your Legacy — Friday November 08, 2024
Jump to navigationJump to search
2,441 bytes added
, 03:20, 18 November 2009
Line 6,331: |
Line 6,331: |
| \end{tabular}\end{quote} | | \end{tabular}\end{quote} |
| </pre> | | </pre> |
| + | |
| + | ==Higher Order Propositions== |
| + | |
| + | ===Wiki Table=== |
| + | |
| + | {| 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>\texttt{(} x \texttt{)}</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 |
| + | |} |
| | | |
| ==Inquiry Driven Systems== | | ==Inquiry Driven Systems== |