相容选言推理的规则包括“肯定一部分选言支，就必然要否定另一部分选言支”。