数理逻辑是一门采用数学方法去研究人类抽象思维规律的应用学科．在数理逻辑中需要将命题符号化，比如将命题“如果天晴，那么我就骑车上学”进行符号化：设A：天晴，B：我骑车上学，符号化为：A→B．仿照上述方法(上述A、B等英文符号的选择是任意的)，试将命题“如果我有学习时间，那么我必用功学习”符号化．