به مثالی که برای رد یک حکم به کار می رود مثال نقض می گویند.
مثال نقض باید شرط فرض را داشته باشد ولی شرط حکم را نداشته باشد.
مثال نقض برای اثبات حکم به کار نمی رود بلکه برای رد حکم استفاده می شود.
درستی یک نتیجه گیری کلی به وسیله ی استدلال استنتاجی اثبات می گردد و نادرستی آن با یک مثال نقض نشان داده می شود.
در مثلث متساوی الساقین چون ارتفاع و میانه وارد بر قاعده بر هم منطبقند،هم اندازه اند.
ممنون از شما و استاد گرامی