MyWikiBiz, Author Your Legacy — Sunday October 20, 2024
Jump to navigationJump to search
178 bytes added
, 22:15, 30 December 2008
Line 458: |
Line 458: |
| |- | | |- |
| | || <math>s = s_1 \cdot t^{-1}.</math> | | | || <math>s = s_1 \cdot t^{-1}.</math> |
| + | |- |
| + | | 4. || <math>s\!</math> is a ''subclause'' of <math>\mathfrak{L}</math> if and only if |
| + | |- |
| + | | || <math>s\!</math> is a sentence of <math>\mathfrak{L}</math> and <math>s\!</math> ends with a <math>^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math> |
| |} | | |} |
| | | |
| <pre> | | <pre> |
− | 4. z is a "subclause" of !L! if and only if
| |
− |
| |
− | z is a sentence of !L! and z ends with a ")-".
| |
− |
| |
| 5. z is the "subcatenation" of z_1 by z_2 if and only if | | 5. z is the "subcatenation" of z_1 by z_2 if and only if |
| | | |