如果有人不能理解，我就舉例說明。

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的素數對無窮；...

結論：至少有一對素數是無窮多個。（等於什麼也沒有說）

陳景潤，王元，潘承洞，陶哲軒，張益唐等人都是這種錯誤。