negative-affirmative expression disjunctive inference

• 选言推理的否定肯定式