相容选言推理可以用肯定否定式。