Line 6,413: |
Line 6,413: |
| | 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> |
| + | |
| + | ===HTML + LaTeX=== |
| + | |
| + | <table align="center" cellpadding="4" cellspacing="0" style="text-align:center; width:90%"> |
| + | |
| + | <caption><font size="+2"><math>\text{Table 1.} ~~ \text{Higher Order Propositions} ~ (n = 1)</math></font></caption> |
| + | |
| + | <tr> |
| + | <td style="border-bottom:2px solid black" align="right"><math>x:</math></td> |
| + | <td style="border-bottom:2px solid black"><math>1 ~ 0</math></td> |
| + | <td style="border-bottom:2px solid black; border-right:2px solid black"><math>f</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{0}</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{1}</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{2}</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{3}</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{4}</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{5}</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{6}</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{7}</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{8}</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{9}</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{10}</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{11}</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{12}</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{13}</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{14}</math></td> |
| + | <td style="border-bottom:2px solid black"><math>m_{15}</math></td></tr> |
| + | |
| + | <tr> |
| + | <td><math>f_{0}</math></td> |
| + | <td><math>0 ~ 0</math></td> |
| + | <td style="border-right:2px solid black"><math>\texttt{( )}</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td></tr> |
| + | |
| + | <tr> |
| + | <td><math>f_{1}</math></td> |
| + | <td><math>0 ~ 1</math></td> |
| + | <td style="border-right:2px solid black"><math>\texttt{(} x \texttt{)}</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td></tr> |
| + | |
| + | <tr> |
| + | <td><math>f_{2}</math></td> |
| + | <td><math>1 ~ 0</math></td> |
| + | <td style="border-right:2px solid black"><math>x</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td></tr> |
| + | |
| + | <tr> |
| + | <td><math>f_{3}</math></td> |
| + | <td><math>1 ~ 1</math></td> |
| + | <td style="border-right:2px solid black"><math>\texttt{(( ))}</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:white; color:black"><math>0</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td> |
| + | <td style="background:black; color:white"><math>1</math></td></tr> |
| + | |
| + | </table> |
| | | |
| ==Inquiry Driven Systems== | | ==Inquiry Driven Systems== |