Here are additional arguments for derivation practice.

1. A º B

2. ~A

3. B Ú C

4. C É D     /\ D

1. F É (G & H)

2. H É I

3. ~I     /\ ~F

1. J Ú (K É L)

2. K Ú J

3. ~J     /\ L Ú ~L

1. M É (N Ú O)

2. ~N & M     /\ O

1. (R Ú S) É T

2. ~S É U

3. ~U     /\ T

1. A É B

2. ~B Ú C

3. ~C     /\ ~A

1. D É E

2. ~E Ú F

3. G Ú ~F

4. ~G     /\ ~D

1. H º I

2. ~H

3. I Ú J

4. ~J Ú K     /\ K

1. (~L É M) É ~O

2. L     /\ ~O

Back to Logic home page

Copyright © 1999, Michael Eldridge