否定命题

negative proposition