Derivation Exercises Unit 3 Part 1

Derivation Exercises Unit 3 Part 1 - Derivations Exercises...

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

View Full Document Right Arrow Icon
Derivation Exercises for Unit 3 Part 1: Derivations with Conditional and Negation © Niko Scharer 1 Derivations Exercises 1: For Unit 3 Part 1 Derivations with NEGATION and CONDITIONAL Construct derivations to validate each of the following arguments. For the first set, use Direct Derivation only. Do not use ID or CD. 1. R. R S. S T. T 2. T W. W X. ~X. ~T 3. ~~P. ~~(P Q). ~~Q 4. P (R S). P. ~S. ~R 5. (P S) Q. (R T) ~Q. P S. ~(R T) 6. ~S ~(P R). ~(P R) Y. ~Y. S 7. ~(P Q) R. S (T (~~T ~R)). S. S T. P Q 8. S. P (Q R). S ~R. ~P R. ~Q 9. P (R (P (~T ~R))). P. R. T 10. (R Q) (R (~S T)). R Q. R. ~~(T ~Q). S For this set, use Conditional Derivation and Direct Derivation only. Do not use ID. 11. P Q. Q R . P R 12. ~S T. T ~V. V S.
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.

Page1 / 3

Derivation Exercises Unit 3 Part 1 - Derivations Exercises...

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