Symnbolic Logic