命题：若A则B；
命题的否定：若A则非B；
否命题：若非A则非B,对条件也进行了否定.