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 03:52, 22 November 2009
, 03:52, 22 November 2009→Measure for Measure: fix truth table labels + cleanup
<tr>
<tr>
<td style="border-bottom:2px solid black" align="right"><math>u:</math><br><math>v:</math></td>
<td style="border-bottom:2px solid black" align="right">
<td style="border-bottom:2px solid black"><math>1100</math><br><math>1010</math></td>
<math>\begin{matrix}u\!:\\v\!:\end{matrix}</math></td>
<td style="border-bottom:2px solid black">
<math>\begin{matrix}1100\\1010\end{matrix}</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>\beta_{0}</math></td>
<td style="border-bottom:2px solid black"><math>\beta_{0}</math></td>
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
| <math>[| \alpha_i |]\!</math>
| <math>[| \alpha_i |]</math>
| <math>=\!</math>
| <math>=</math>
| <math>(\alpha_i)^{-1}(1),\!</math>
| <math>(\alpha_i)^{-1}(1),</math>
|-
|-
| <math>[| \beta_i |]\!</math>
| <math>[| \beta_i |]</math>
| <math>=\!</math>
| <math>=</math>
| <math>(\beta_i)^{-1}(1),\!</math>
| <math>(\beta_i)^{-1}(1),</math>
|-
|-
| <math>[| \Upsilon_p |]\!</math>
| <math>[| \Upsilon_p |]</math>
| <math>=\!</math>
| <math>=</math>
| <math>(\Upsilon_p)^{-1}(1),\!</math>
| <math>(\Upsilon_p)^{-1}(1).</math>
|}
|}
