或者“全班同学都是团员”为假，或者“全班同学都不是团员”为假；“全班同学都不是团员”为假；所以“全班同学都是团员”为真。推理是否有效？为什么？

设p表示“全班同学都是团员”，q表示“全班同学都不是团员”，则该推理可以符号化为（﹁p∨﹁q）∧﹁q├p。这属于选言推理的肯定否定式，是无效的。

略