原命题：A是一条狗（如果A则B）
命题否定（非命题）：A不是一条狗（如果A则B不成立）
否定形式(否命题)：如果不是A,则不是狗（如果不A则不B）