MyWikiBiz, Author Your Legacy — Monday November 25, 2024
Jump to navigationJump to search
18 bytes added
, 15:38, 2 December 2015
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" |