Introduction to logic copi solution manual