相容選言推理只有否定肯定式一種有效式。