MyWikiBiz

Changes

Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy (view source)

Revision as of 19:54, 30 October 2009

114 bytes added ,  19:54, 30 October 2009
→‎Higher Order Propositions and Logical Operators (''n'' = 2): use \texttt typeface for logical ops
Line 342: Line 342:  
| <math>f_0</math>
 
| <math>f_0</math>
 
| 0000
 
| 0000
−
| <math>(~)</math>
+
| <math>\texttt{(~)}</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
Line 358: Line 358:  
| <math>f_1</math>
 
| <math>f_1</math>
 
| 0001
 
| 0001
−
| <math>(u)(v)\!</math>
+
| <math>\texttt{(u)(v)}</math>
 
| 0 || 0
 
| 0 || 0
 
| style="background:black; color:white" | 1
 
| style="background:black; color:white" | 1
Line 380: Line 380:  
| <math>f_2</math>
 
| <math>f_2</math>
 
| 0010
 
| 0010
−
| <math>(u) v\!</math>
+
| <math>\texttt{(u) v}</math>
 
| 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0
 
| style="background:black; color:white" | 1
 
| style="background:black; color:white" | 1
Line 399: Line 399:  
| <math>f_3</math>
 
| <math>f_3</math>
 
| 0011
 
| 0011
−
| <math>(u)\!</math>
+
| <math>\texttt{(u)}</math>
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| style="background:black; color:white" | 1
 
| style="background:black; color:white" | 1
Line 413: Line 413:  
| <math>f_4</math>
 
| <math>f_4</math>
 
| 0100
 
| 0100
−
| <math>u (v)\!</math>
+
| <math>\texttt{u (v)}</math>
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
Line 427: Line 427:  
| <math>f_5</math>
 
| <math>f_5</math>
 
| 0101
 
| 0101
−
| <math>(v)\!</math>
+
| <math>\texttt{(v)}</math>
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
Line 434: Line 434:  
| <math>f_6</math>
 
| <math>f_6</math>
 
| 0110
 
| 0110
−
| <math>(u, v)\!</math>
+
| <math>\texttt{(u, v)}</math>
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
Line 441: Line 441:  
| <math>f_7</math>
 
| <math>f_7</math>
 
| 0111
 
| 0111
−
| <math>(u v)\!</math>
+
| <math>\texttt{(u v)}</math>
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
Line 448: Line 448:  
| <math>f_8</math>
 
| <math>f_8</math>
 
| 1000
 
| 1000
−
| <math>u v\!</math>
+
| <math>\texttt{u v}</math>
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
Line 455: Line 455:  
| <math>f_9</math>
 
| <math>f_9</math>
 
| 1001
 
| 1001
−
| <math>((u, v))\!</math>
+
| <math>\texttt{((u, v))}</math>
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
Line 462: Line 462:  
| <math>f_{10}</math>
 
| <math>f_{10}</math>
 
| 1010
 
| 1010
−
| <math>v\!</math>
+
| <math>\texttt{v}</math>
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
Line 469: Line 469:  
| <math>f_{11}</math>
 
| <math>f_{11}</math>
 
| 1011
 
| 1011
−
| <math>(u (v))\!</math>
+
| <math>\texttt{(u (v))}</math>
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
Line 476: Line 476:  
| <math>f_{12}</math>
 
| <math>f_{12}</math>
 
| 1100
 
| 1100
−
| <math>u\!</math>
+
| <math>\texttt{u}</math>
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
Line 483: Line 483:  
| <math>f_{13}</math>
 
| <math>f_{13}</math>
 
| 1101
 
| 1101
−
| <math>((u) v)\!</math>
+
| <math>\texttt{((u) v)}</math>
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
Line 490: Line 490:  
| <math>f_{14}</math>
 
| <math>f_{14}</math>
 
| 1110
 
| 1110
−
| <math>((u)(v))\!</math>
+
| <math>\texttt{((u)(v))}</math>
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
Line 497: Line 497:  
| <math>f_{15}</math>
 
| <math>f_{15}</math>
 
| 1111
 
| 1111
−
| <math>((~))\!</math>
+
| <math>\texttt{((~))}</math>
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
 
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/96380"