mathematical logic excercise 1.3 dinesh sir