Title: Elementary Symbolic Logic