否命题是若非P则非q （条件结论都否定）
否定形式是若p则非q （只否定结论）