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:

Please use the login: test (password: test) unless you have a personal account.

Here is an example.

worksheet 8
worksheet 10
worksheet 13
worksheet 14
worksheet 15
worksheet 16

proofing worksheet