如果A那么B和只有A才会B的否命题是什么?
如果A那么B的否命题是A且否B;只有A才会B的否命题是B且否A。
数学应用:如果A能推出B,那么A就是B的充分条件。其中A为B的子集,即属于A的一定属于B,而属于B的不一定属于A,具体的说若存在元素属于B的不属于A,则A为B的真子集;若属于B的也属于A,则A与B相等。
逻辑应用:如果有事物情况A,则必然有事物情况B;如果没有事物情况A而未必没有事物情况B,A就是B的充分而不必要条件,简称充分条件。
扩展资料:
根据充分条件假言命题的逻辑性质进行的推理叫充分条件假言推理。充分条件假言推理,就是以充分条件假言命题为大前提,通过肯定前件或否定后件而得出结论的推理。
这种推理结构由三部分组成,其中大前提是充分条件假言判断,小前提和结论是由这个充分条件假言判断的前件或后件组成的判断。列宁说过:“任何科学都是应用逻辑。”
陈述某一事物情况是另一件事物情况的充分条件的假言命题叫做充分条件假言命题。充分条件假言命题的一般形式是:如果p,那么q。符号为:p→q(读作“p蕴涵于q”)。例如“如果物体不受外力作用,那么它将保持静止或匀速直线运动”是一个充分条件假言命题。
如果A那么B——充分条件假言命题, 只有A才B——必要条件假言命题。
对于假言命题,有几种变形:逆命题、否命题、逆否命题;而变形之前的命题称作原命题。
一般情况下,变形只针对充分条件假言命题进行讨论,但必要条件假言命题的变化规则也一样: 原命题:如果A,那么B; 逆命题:如果B,那么A;——前件、后件互换位置; 否命题:如果非A,那么非B;——前件、后件变否定; 逆否命题:如果非B,那么非A;——前件、后件变否定再互换位置
如果A那么B,即A推B
A推B否命题是 非A推非B
A推B命题的否定是 A且非B,也就是说即使满足了A条件也推不出B,说明A推B是不成立的
你给的这两个命题本身就是假言命题:
如果A那么B——充分条件假言命题;
只有A才B——必要条件假言命题;
对于假言命题,有几种变形:逆命题、否命题、逆否命题;而变形之前的命题称作原命题。一般情况下,变形只针对充分条件假言命题进行讨论,但必要条件假言命题的变化规则也一样:
原命题:如果A,那么B;
逆命题:如果B,那么A;——前件、后件互换位置;
否命题:如果非A,那么非B;——前件、后件变否定;
逆否命题:如果非B,那么非A;——前件、后件变否定再互换位置;
广告 您可能关注的内容 |