به مثالی که کلیّت یک حکم را از بین میبرد، مثال نقض میگویند. در زبان انگلیسی به این روش از اثبات 'Counterexample' گفته میشود. - با استفاده از مثال نقض، ثابت میکنیم که یک حکم همواره درست نیست. - اگر یک حکم فقط برای یک مثال، نادرست باشد؛ درستی آن حکم نقض میگویند
فرض: اطلاعاتی که از قبل میدونیم و مسئله بهمون داده
حکم:چیزی که مسئله ازمون خواسته و باید اثباتش کنیم