写出2至4个数学上的命题,并写成“如果……那么……‘’的格式