逻辑学学习.4--- 命题逻辑（二）：符号化