Exercise A

Here are the syllogistic figures identified by Aristotle and his successors, along with their medieval names:

1. Barbara. All G are F. All H are G. So: All H are F

2. Celarent. No G are F. All H are G. So: No H are F

3. Ferio. No G are F. Some H is G. So: Some H is not F

4. Darii. All G are H. Some H is G. So: Some H is F.

5. Camestres. All F are G. No H are G. So: No H are F.

6. Cesare. No F are G. All H are G. So: No H are F.

7. Baroko. All F are G. Some H is not G. So: Some H is not F.

8. Festino. No F are G. Some H are G. So: Some H is not F.

9. Datisi. All G are F. Some G is H. So: Some H is F.

10. Disamis. Some G is F. All G are H. So: Some H is F.

11. Ferison. No G are F. Some G is H. So: Some H is not F.

12. Bokardo. Some G is not F. All G are H. So: Some H is not F.

13. Camenes. All F are G. No G are H So: No H is F.

14. Dimaris. Some F is G. All G are H. So: Some H is F.

15. Fresison. No F are G. Some G is H. So: Some H is not F.

Symbolize each argument in FOL.