Go backward to MotivationGo up to TopGo forward to Preliminaries |

- Symbolic Arithmetic:
"The product of

`x`and of the sum of`y`and`z`if the sum of the products of`x`and`y`and of`x`and`z`":`x`*(`y`+`z`) =`x`*`y`+`x`*`z`. - Symbolic Logic:
"Between every natural number and its double (the bounds included) there is at least one prime number":

**forall**`x`:`x`in**N**=>**exists**`y`:`x`<=`y`/\`y`<= 2`x`/\`y`is prime.

*Formal notation is a tool to write clear and concise statements.*

Author: Wolfgang Schreiner

Last Modification: October 6, 1999