Changes

MyWikiBiz, Author Your Legacy — Thursday November 07, 2024
Jump to navigationJump to search
MathJax just keeps on sucking ...
Line 48: Line 48:  
|-
 
|-
 
| height="100px" | [[Image:Rooted Edge.jpg|20px]]
 
| height="100px" | [[Image:Rooted Edge.jpg|20px]]
| <math>\texttt{( )}\!</math>
+
| <math>\texttt{(}~\texttt{)}\!</math>
 
| <math>\mathrm{false}\!</math>
 
| <math>\mathrm{false}\!</math>
 
| <math>0\!</math>
 
| <math>0\!</math>
Line 203: Line 203:  
<br>
 
<br>
   −
The simplest expression for logical truth is the empty word, usually denoted by <math>\boldsymbol\varepsilon\!</math> or <math>\lambda\!</math> in formal languages, where it forms the identity element for concatenation.  To make it visible in context, it may be denoted by the equivalent expression <math>{}^{\backprime\backprime} \texttt{(( ))} {}^{\prime\prime},\!</math> or, especially if operating in an algebraic context, by a simple <math>{}^{\backprime\backprime} 1 {}^{\prime\prime}.\!</math>  Also when working in an algebraic mode, the plus sign <math>{}^{\backprime\backprime} + {}^{\prime\prime}\!</math> may be used for [[exclusive disjunction]].  For example, we have the following paraphrases of algebraic expressions by means of parenthesized expressions:
+
The simplest expression for logical truth is the empty word, usually denoted by <math>\boldsymbol\varepsilon\!</math> or <math>\lambda\!</math> in formal languages, where it forms the identity element for concatenation.  To make it visible in context, it may be denoted by the equivalent expression <math>{}^{\backprime\backprime} \texttt{((}~\texttt{))} {}^{\prime\prime},\!</math> or, especially if operating in an algebraic context, by a simple <math>{}^{\backprime\backprime} 1 {}^{\prime\prime}.\!</math>  Also when working in an algebraic mode, the plus sign <math>{}^{\backprime\backprime} + {}^{\prime\prime}\!</math> may be used for [[exclusive disjunction]].  For example, we have the following paraphrases of algebraic expressions by means of parenthesized expressions:
    
{| align="center" cellpadding="6" style="text-align:center"
 
{| align="center" cellpadding="6" style="text-align:center"
12,080

edits

Navigation menu