12,154
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday November 19, 2025
Jump to navigationJump to searchDirectory: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
