DERIVE the conclusions from the premises:

(1)

1. P É Q

2. Q É R

3. P

4. ~R Ú S     /\ S

(2)

1. ~P Ú Q

2. Q É ~R

3. S É R

4. S Ú T

5. P     /\ T Ú U

(3)

1. (P & Q) É R

2. S É Q

3. P Ú ~S

4. S     /\ R

(4)

1. P º Q

2. ~P

3. Q Ú R

4. R É S     /\ S

(5)

1. (A & B) Ú (C & D)

2. D É (E & F)

3. ~B     /\ F

(6)

1. W É (X É ~Y)

2. Z & ~Z     /\ ~W Ú ~X

(7)

1. (D & E) É F

2. D & ~F     /\ ~E

Back to Logic home page

Copyright © 1999, Michael Eldridge