Introduction to Symbolic Logic and Its Applications