四种命题形式和等价命题