是不是所有命题都可以写成若p则q的形式