Categorical Logic

  Exercise 4.7, Part I

Logic Symbols

Propositional Logic

  Exercise 6.1, Parts I and II
  Exercise 6.4, Part I
  Exercise 7.1, Part IV
  Exercise 7.2, Part IV
  Exercise 7.3, Part IV
  Exercise 7.4, Part IV
  Exercise 7.5, Part II
  Exercise 7.6, Part II

Predicate Logic

  Exercise 8.1, Part I
  Exercise 8.2, Part II
  Exercise 8.5, Part III
  Exercise 8.6, Parts I and III
  Exercise 8.7, Parts I and III