A #7 - #9

7. p • ~p must be FALSE!

8. (p • q) v (p • ~r) must be TRUE since (p•~r) is true!

9. (p v q) • (~r • ~q) must be FALSE since ~r is false!

B #2 - #4, #6, #7

2. ~B v X must be FALSE! Both disjuncts are false.

3. ~Y v C must be TRUE! Both disjuncts are true.

4. ~Z v X must be TRUE! ~Z is true.

6. (B • C) v (Y • Z) must be TRUE! As (B • C) is true!

7. ~(C • Y) v (A • Z) must be TRUE! As ~(C • Y) is true!

C #2 - #4, #6, #15

2. I v L

3. I • L

4. ~(I • L)

6. (I v L) • ~(I • L)

15. ~I v L

pp. 252-254 Group Two

A #2 - #6

2. A ↄ X must be FALSE; as A is true and X false.

3. B ↄ Y must be FALSE; as B is true and Y false.

4. Y ↄ Z must be TRUE; as Y is false and Z false.

5. (A ↄ B) ↄ Z must be FALSE; as (A ↄ B) is true, Z false.

6. (X ↄ Y) ↄ Z must be FALSE; as the antecendent is true and the consequent false.

B #2 - #3, #12 - #13, #17 - #19

2. A ↄ (B v C)

3. A ↄ (B • C)

12. A ↄ B

13. B ↄ A

17. B v C

18. A ↄ (B v C)

19. ~B v A

p. 257 Group Three B, C, D, E, K

B. C ↄ D This is a SUBSTITUTION INSTANCE of 6. ∴ C (C • D) 6 is the SPECIFIC FORM of B. C. E This is a SUBSTITUTION INSTANCE of 4. ∴ E v F 4 is the SPECIFIC FORM of C. D. G ↄ H This is a SUBSTITUION INSTANCE of 9. ~H 9 is the SPECIFIC FORM of D. ∴ ∼G E. I This is a SUBSTITUTION INSTANCE of 10. J 10 is the SPECIFIC FORM of E. ∴ I • J K. A ↄ B This is a SUBSTITUION INSTANCE OF 4. ∴ (A B) v C There is no SPECIFIC FORM for K.

pp. 266-267 Group Four

A #3 - #5

3. p • q p q p • q

T

T

T

T

F

F

F

T…