我感觉都可以
若一个命题是简单命题 则可以写成若P则Q
如果一个命题满足若P则Q 那么这个命题是简单命题
当然等价 如果不能等价 就不是一个定义了