分断式命题fenduanshi mingti

一种复合命题.若一个命题是由A₁→B₁,A₂→B₂，…，A_n→B_n这儿个命题组成，A₁,A₂，…，A_n和B₁,B₂，…，B_n分别包含了条件和结论的所有可能，并且A₁,A₂，…，A_n互不相容，B₁,B₂，…B_n也互不相容，则称这样的命题为分断式命题.例如，在平面内有一直线l与半径为r的圆，设圆心到直线l的距离为d.当d>r时，直线l与圆相离，当d=r时，直线l与圆相切，当d在逻辑学中，若一组命题满足上述条件，则称这一组命题构成一个闭系统.因此，若一个分断式命题为真，那么它的逆命题一定为真.