Solutions to exercises in symbolic logic