含有量词的命题能否写成若P则Q的形式?