Elements of Deductive Inference: An Introduction to Symbolic Logic