کدام عدد کلیت حکم «به ازای هر عدد طبیعی ${{۲}^{n}}+۳,n$ عددی اول است» را نقض میکند؟
برای نقض کردن حکم داده شده باید عددی طبیعی مانند n بیابیم به طوری که ${{2}^{n}}+3$ عددی اول نباشد. اعداد 4، 6 و 7 این ویژگی را ندارد، زیرا ${{2}^{6}}+3={{67.2}^{4}}+3=19$ و ${{2}^{7}}+3=131$ عددهایی اولاند ولی عدد 5 ویژگی مطلوب را دارد؛ زیرا ${{2}^{5}}+3=35$ عددی اول نیست.