如果有人不能理解，我就举例说明。

1，n个抽屉放了n+1个信封，至少存在一个抽屉放了2个信封或者两个以上信封。

用相容选言推理的正确形式——否定肯定式证明：

大前提：或者第一个抽屉放了2个或者2个以上信封；或者第二个抽屉放了2个或者2个以上信封；...；或者第n个抽屉放了2个或者2个以上信封。

小前提：第一个抽屉没有放2个或者两个以上的信封；第二个抽屉没有放2个或者两个以上的信封；.....；第n-1个抽屉没有放2个或者两个以上的信封。

（如果第一个抽屉放了2个信封，问题结束；第二个抽屉放了2个问题结束；...；第n-1个抽屉放了2个问题结束）

结论：所以，第n个抽屉放了2个信封。

即至少有一个抽屉放了2个信封。

2，集合概念每一个个体不一样就不能使用正确形式否定肯定式，例如张益唐小于7000万素数对至少有一对是无穷多个。我们验证

否定肯定式：

大前提：或者相差2的素数对无穷；或者相差4的素数对无穷；......;；;或者相差7000万的素数对无穷。

小前提：（要剔除掉不是无穷多个的素数对）。这个显然做不到。

结论：无法完成。

张益唐只能采用错误的推理形式——肯定肯定式：

大前提：或者相差2的素数对无穷；或者相差4的素数对无穷；...；或者相差7000万的素数对无穷。

小前提：或者相差2的素数对无穷；或者相差4的素数对无穷；...

结论：至少有一对素数是无穷多个。（等于什么也没有说）

陈景润，王元，潘承洞，陶哲轩，张益唐等人都是这种错误。