命题的否定形式与否命题

如何正确地表达一个命题的否定形式或其否命题是学生学习逻辑课程的难点之一。“命题的否定形式”也称“非命题”，与原命题必然一真一假：而“否命题”的定义教材上是以“若p则q”形式的命题定义的：“若p则q”为原命题，“若非p则非q”为它的否命题。