闭系统

闭系统是一类特殊的支命题系统，指分断式命题的构造模式，分断式命题是一种复合命题，判定某类数学命题真假时使用的一种命题形式。