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