条件命题可以分为
条件命题可以分为:充分条件命题、必要条件命题、充要条件命题。
充分条件:如果A能推出B,那么A就是B的充分条件。其中A为B的子集,即属于A的一定属于B,而属于B的不一定属于A,具体的说若存在元素属于B的不属于A,则A为B的真子集;若属于B的也属于A,则A与B相等。
根据充分条件假言命题的逻辑性质进行的推理叫充分条件假言推理。充分条件假言推理,就是以充分条件假言命题为大前提,通过肯定前件或否定后件而得出结论的推理。这种推理结构由三部分组成,其中大前提是充分条件假言判断,小前提和结论是由这个充分条件假言判断的前件或后件组成的判断。列宁说过:“任何科学都是应用逻辑。”
必要条件:
必要条件是数学中的一种关系形式。如果没有A,则必然没有B;如果有A而未必有B,则A就是B的必要条件,记作B→A,读作“B含于A”。数学上简单来说就是如果由结果B能推导出条件A,我们就说A是B的必要条件。
假设A是条件,B是结论
(1)由A可以推出B,由B可以推出A,则A是B的充要条件(A=B)。
(2)由A可以推出B,由B不可以推出A,则A是B的充分不必要条件(A⊆B)。
(3)由A不可以推出B,由B可以推出A,则A是B的必要不充分条件(B⊆A)。
(4)由A不可以推出B,由B不可以推出A,则A是B的既不充分也不必要条件(A¢B且B¢A)。