Formal Logic Review

Categorical Syllogisms; P. 69, #6-10

6. No EDM are STC

All CDP are EDM

Therefore, No CDP are STC

EAE-1

7. Some JD are PBH

All JD are MI

Therefore, Some MI are PBH

IAI-3

8. Some WIP are SIWNAAM

No SIWNAAM are GT

Therefore, Some GT are not WIP

IEO-4

9. All P are OC

All E are OC

Therefore, All E are P

AAA-2

10. All ADFU are VIDMS

No SC are VIDMS

Therefore, No SC are ADFU

AEE-2

Truth-Functional Logic; PP. 81-82, #2-20

2. MT Valid

3. DA Invalid

4. DS Valid

5. DA Invalid

6. DS Valid

7. AC Invalid

8. HS Valid

9. MP Valid

10. IHS Invalid

11. MT Invalid

12. DA Invalid

13. MT Valid

14. MP Valid

15. DS Valid

16. AC Invalid

17. IDS Invalid

18. IDS Invalid

19. DA Invalid

20. HS Valid