An Introduction to Symbolic Logic and Its Application by