1.2常用逻辑用语

核心：判断 p⇒ q 与 q⇒ p 的真假。