Title: Symbolic Logic a Problem Solving Approach