Математикийн хувьд эсрэг заалтаар нотлох эсвэл эсрэг заалтаар нотлох нь нотолгоонд хэрэглэгддэг дүгнэлтийн дүрэм юм ба эсрэгээр нь болзолт өгүүлбэр гаргадаг. Өөрөөр хэлбэл, "хэрэв А бол В бол" гэсэн дүгнэлтийг "хэрэв В биш бол А биш" гэсэн нэхэмжлэлийн нотлох баримтыг бий болгосноор гарна.
Хэрхэн зөрчилдөөнөөр нотлох вэ?
Зөрчилөөр нотлох (мөн шууд бус нотлох баримт гэж нэрлэдэг) авах алхамууд нь:
- Дүгнэлтийнхээ эсрэгээр гэж бод. …
- Таамаглалыг ашиглан шинэ үр дагаврыг гаргана уу. …
- Таамаглал худал байх ёстой бөгөөд түүний эсрэг (таны анхны дүгнэлт) үнэн байх ёстой гэж дүгнэ.
Та эсрэг заалтын хуулийг хэрхэн батлах вэ?
"Хэрэв бороотой бол би хүрмээ өмсдөг" - "Хэрэв би хүрмээ өмсөхгүй бол бороо ороогүй байна". Эсрэг заалтын хуульд нөхцөлтэй мэдэгдэл нь зөвхөн эсрэг тэсрэг нь үнэн байвал үнэн болно гэж заасан байдаг.). Үүнийг ихэвчлэн зөрчилдөөний хууль буюу Modus tollens дүгнэлтийн дүрэм гэж нэрлэдэг.
Та ядарсан гэдгээ яаж батлах вэ?
Ядарсан нотлох тохиолдлын хувьд бид харгалзаж буй тоо бүрийн хувьд мэдэгдэл үнэн болохыг харуулж байна. Ядарсан нотолгоо нь тоонуудыг бүрэн ангилсан ангилалд хувааж, ангилал тус бүрт үнэн болохыг харуулсан нотолгоог агуулдаг.
Хэрэв та зөрчилтэй нотлох баримт ашиглах ёстой вэ?
Зөрчилдөөний нотолгоог ихэвчлэн боломжуудын хооронд хоёртын сонголт байгаа үед ашигладаг:
- 2 \sqrt{2} 2 нь оновчтой эсвэл иррациональ юм.
- Хязгааргүй олон анхны тоо эсвэл хязгааргүй олон анхны тоо байдаг.
