Elements of Deductive Logic