将:除非你认真学习，否则你考不上大学。用命题逻辑，符号化。