Introduction to Symbolic Logic