Derivation Exercises Unit 3 Part 2

Derivation Exercises Unit 3 Part 2 - Unit 3 Part 2:...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
PHL 245: Derivation Exercises Unit 3 part 2 Niko Scharer 1 Unit 3 Part 2: Derivation Exercises Derivations with AND, OR and BICONDITIONAL NOTE: there are 3 sections. Make sure you do a good number from each section. (In each section, the first ones tend to be easier than the later ones.) SECTION 1: Construct derivations to validate each of the following arguments. Use only the basic rules: MP, MT, R, DN, ADD, S, ADJ, MTP, BC and CB. 1. (P Q) (R S). (P S) Q 2. P Q. ~Q. P R 3. P Q. Q R. R P 4. W P. P S Q. ~W Q 5. P Q (~P Q S) 6. P (Q R). R S. ~S P. W Q R. T 7. R ~S. S ~T. W T. R ~W 8. P (Q R). Q S. ~P (~R S) 9. ( ~S T) (W S). (~T ~X) (X W) 10. W Q. (~Q S) W. S T U. U ~T 11. (~P R) (~Q ~R). Q (S W). S R T. T W P. P Q 12. ~(P Q). ~P T. ~T Q. T 13. (T S) ( ( (T W) ~S) ~W) 14. P Q R. ~T (P S). S ~R. ~P T. W 15. ~( P R). S R. ~P ~S. T ~S 16. ~(P Q). P R. Q S. R S 17. ( Q P). (P Q) (~T S). ~S T 18. (~ R T) (S P). (T Q). ~P
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/01/2012 for the course PHL PHL245 taught by Professor Scharer during the Winter '11 term at University of Toronto- Toronto.

Page1 / 3

Derivation Exercises Unit 3 Part 2 - Unit 3 Part 2:...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online