Is it True?
On the following exercises you are helping the computer to proof statements. On each worksheet you find several laws. Use these law to proof that a given statement is true.
The computer understands the following instructions. Please enter one of the following instructions in the input boxes:
- Use law index.
index is the index of a law. Example: Use law 2.
- Replace variable by number.
variable is the name of a variable. number is an integer. Example: Replace x by 2.
- Replace variable by expression.
variable is the name of a variable. expression is an algebraic expression. Example: Replace a by (x+y)*2.
- Replace expression with law index.
index is the index of a law. expression is an algebraic expression. Example: Replace a*c with law 6.
- Remove parenthesis.
- Do the arithmetic.
- Use symmetric axiom of equality.
Meaning: If x=y then y=x, where x and y stand for real numbers.
Please use the login: test (password: test) unless you have a personal account.
Here is an example.