Understanding Symbolic Logic