Introduction to Symbolic Logic and its Applications