分断式命题(respectively assertive proposition)是一种复合命题，若一个命题是由A1→B1，A2→B2，…，An→Bn这儿个命题组成，A1，A2，…，An和B1，B2，…，Bn分别包含了条件和结论的所有可能，并且A1，A2，…，An互不相容，B1，B2，…Bn也互不相容，则称这样的命题为分断式命题。例如，在平面内有一直线l与半径为r的圆，设圆心到直线l的距离为d，当d>r时，直线l与圆相离，当d=r时，直线l与圆相切，当d<r时，直线l与圆相交，这个命题就是一个分断式命题。在逻辑学中，若一组命题满足上述条件，则称这一组命题构成一个闭系统，因此，若一个分断式命题为真，那么它的逆命题一定为真。分断式命题是一种复合命题，判定某类数学命题真假时使用的一种命题形式，由若干个命题组合而成的那个命题，其中这若干个命题的条件和结论一一对应互不相容、穷尽各种可能。如果一个分断式命题是正确的，则它的逆命题也是正确的。