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