12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy (view source)
Revision as of 04:10, 17 November 2009
, 04:10, 17 November 2009→Measure for Measure: \texttt typeface for logical ops
Line 598:
Line 598:
| <math>f_0</math>
| <math>f_0</math>
| 0000
| 0000
−| <math>(~)</math>
+| <math>\texttt{(~)}</math>
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:white; color:black" | 0
| style="background:white; color:black" | 0
Line 618:
Line 618:
| <math>f_1</math>
| <math>f_1</math>
| 0001
| 0001
−| <math>(u)(v)\!</math>
+| <math>\texttt{(} u \texttt{)(} v \texttt{)}</math>
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
Line 638:
Line 638:
| <math>f_2</math>
| <math>f_2</math>
| 0010
| 0010
−| <math>(u) v\!</math>
+| <math>\texttt{(} u \texttt{)} ~ v</math>
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:white; color:black" | 0
| style="background:white; color:black" | 0
Line 658:
Line 658:
| <math>f_3</math>
| <math>f_3</math>
| 0011
| 0011
−| <math>(u)\!</math>
+| <math>\texttt{(} u \texttt{)}</math>
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
Line 678:
Line 678:
| <math>f_4</math>
| <math>f_4</math>
| 0100
| 0100
−| <math>u (v)\!</math>
+| <math>u ~ \texttt{(} v \texttt{)}</math>
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:white; color:black" | 0
| style="background:white; color:black" | 0
Line 698:
Line 698:
| <math>f_5</math>
| <math>f_5</math>
| 0101
| 0101
−| <math>(v)\!</math>
+| <math>\texttt{(} v \texttt{)}</math>
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
Line 718:
Line 718:
| <math>f_6</math>
| <math>f_6</math>
| 0110
| 0110
−| <math>(u, v)\!</math>
+| <math>\texttt{(} u ~ \texttt{,} ~ v \texttt{)}</math>
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:white; color:black" | 0
| style="background:white; color:black" | 0
Line 738:
Line 738:
| <math>f_7</math>
| <math>f_7</math>
| 0111
| 0111
−| <math>(u v)\!</math>
+| <math>\texttt{(} u ~ v \texttt{)}</math>
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
Line 758:
Line 758:
| <math>f_8</math>
| <math>f_8</math>
| 1000
| 1000
−| <math>u v\!</math>
+| <math>u ~ v</math>
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:white; color:black" | 0
| style="background:white; color:black" | 0
Line 778:
Line 778:
| <math>f_9</math>
| <math>f_9</math>
| 1001
| 1001
−| <math>((u, v))\!</math>
+| <math>\texttt{((} u ~ \texttt{,} ~ v \texttt{))}</math>
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
Line 818:
Line 818:
| <math>f_{11}</math>
| <math>f_{11}</math>
| 1011
| 1011
−| <math>(u (v))\!</math>
+| <math>\texttt{(} u ~ \texttt{(} v \texttt{))}</math>
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
Line 858:
Line 858:
| <math>f_{13}</math>
| <math>f_{13}</math>
| 1101
| 1101
−| <math>((u) v)\!</math>
+| <math>\texttt{((} u \texttt{)} ~ v \texttt{)}</math>
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
Line 878:
Line 878:
| <math>f_{14}</math>
| <math>f_{14}</math>
| 1110
| 1110
−| <math>((u)(v))\!</math>
+| <math>\texttt{((} u \texttt{)(} v \texttt{))}</math>
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:white; color:black" | 0
| style="background:white; color:black" | 0
Line 898:
Line 898:
| <math>f_{15}</math>
| <math>f_{15}</math>
| 1111
| 1111
−| <math>((~))</math>
+| <math>\texttt{((~))}</math>
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1
