Elementary Symbolic Logic