12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday April 28, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions (view source)
Revision as of 02:22, 25 May 2013
, 02:22, 25 May 2013→Higher Order Propositions and Logical Operators (n = 1): force png
<tr>
<tr>
<td style="border-bottom:2px solid black" align="right"><math>x:</math></td>
<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"><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; 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_{0}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{1}</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_{2}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{3}</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_{4}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{5}</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_{6}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{7}</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_{8}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{9}</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_{10}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{11}</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_{12}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{13}</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_{14}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{15}</math></td></tr>
<td style="border-bottom:2px solid black"><math>m_{15}\!</math></td></tr>
<tr>
<tr>
<td><math>f_{0}</math></td>
<td><math>f_{0}\!</math></td>
<td><math>0 ~ 0</math></td>
<td><math>0 ~ 0</math></td>
<td style="border-right:2px solid black"><math>\texttt{(~)}</math></td>
<td style="border-right:2px solid black"><math>\texttt{(~)}\!</math></td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<tr>
<tr>
<td><math>f_{1}</math></td>
<td><math>f_{1}\!</math></td>
<td><math>0 ~ 1</math></td>
<td><math>0 ~ 1</math></td>
<td style="border-right:2px solid black"><math>\texttt{(} x \texttt{)}</math></td>
<td style="border-right:2px solid black"><math>\texttt{(} x \texttt{)}\!</math></td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<tr>
<tr>
<td><math>f_{2}</math></td>
<td><math>f_{2}\!</math></td>
<td><math>1 ~ 0</math></td>
<td><math>1 ~ 0</math></td>
<td style="border-right:2px solid black"><math>x</math></td>
<td style="border-right:2px solid black"><math>x\!</math></td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<tr>
<tr>
<td><math>f_{3}</math></td>
<td><math>f_{3}\!</math></td>
<td><math>1 ~ 1</math></td>
<td><math>1 ~ 1</math></td>
<td style="border-right:2px solid black"><math>\texttt{((~))}</math></td>
<td style="border-right:2px solid black"><math>\texttt{((~))}\!</math></td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
