用英语翻译“否命题”、“命题的否定”.