The Elements of Deductive Logic