12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy (view source)
Revision as of 18:57, 30 October 2009
, 18:57, 30 October 2009→Higher Order Propositions and Logical Operators (''n'' = 1): \texttt typeface for logical ops
| <math>f_1</math>
| <math>f_1</math>
| 0 1
| 0 1
| <math>(x)\!</math>
| <math>\texttt{(} x \texttt{)}</math>
| 0 || 0
| 0 || 0
| style="background:black; color:white" | 1
| style="background:black; color:white" | 1