در اثبات حکم « اگر n عددی صحیح و ۵n+۳ عددی فرد باشد، آنگاه n عددی زوج است» به وش برهان حلف، «فرض خلف» کدام است؟
فرض خلف در واقع نقیض گزارهای است که میخواهیم آن را ثابت کنیم. پس در اینجا فرض خلف، نقیض گزارهٔ (n عددی زوج است) است، یعنی گزارهٔ (n عددی زوج نیست).