Математикийн хувьд эсрэг заалтаар нотлох эсвэл эсрэг заалтаар нотлох нь нотолгоонд хэрэглэгддэг дүгнэлтийн дүрэм бөгөөд түүний эсрэг тэсрэгээс нөхцөлт мэдэгдлийг гаргадаг. Өөрөөр хэлбэл, "хэрэв А бол В" гэсэн дүгнэлтийг оронд нь "хэрэв В биш бол A" гэсэн нотлох баримтыг бий болгосноор гарч байна.
Зөрчилөөр нотлох баримтыг яаж бичих вэ?
Бид зөрчилтэй нотлох баримтыг ашиглахдаа дараах алхмуудыг дагаж мөрддөг:
- Таны мэдэгдлийг худал гэж бодоорой.
- Шууд нотлох баримттай адил үргэлжлүүлнэ үү.
- Зөрчилтэй тулгарлаа.
- Зөрчилдөөний улмаас энэ мэдэгдэл худал байх боломжгүй тул үнэн байх ёстой гэдгийг хэлнэ үү.
Та ямар утгатай болохыг хэрхэн батлах вэ?
Шууд нотлох
- Та p-г үнэн гэж үзэн, q-г үнэн гэдгийг батлахын тулд суурь мэдлэг болон логикийн дүрмээ ашиглан p q-г нотолно.
- ``p нь үнэн'' гэсэн таамаглал нь ``q үнэн''-ээр төгсдөг логик хэллэгийн эхний холбоос бөгөөд тус бүр нь залгамжлагчийг илэрхийлдэг.
Далдлалын жишээ юу вэ?
Хамгийн утга санааны тодорхойлолт нь дүгнэлт хийдэг зүйл юм. Үүний нэг жишээ бол цагдаа нотлох баримт байхгүй атлаа хүнийг гэмт хэрэгт холбодог. Санах үйлдэл эсвэл далд байх нөхцөл.
А бол В гэдгийг батлах гурван арга юу вэ?
“Хэрэв А бол В” хэлбэрийн мэдэгдлийг батлах гурван арга бий. Тэдгээрийг шууд нотолгоо, эсрэг эерэг нотолгоо, зөрчилдөөнөөр нотлох гэж нэрлэдэг. Шууд нотлох баримт. “Хэрэв А бол В” гэсэн хэллэг үнэн гэдгийг шууд нотлох баримтаар нотлохын тулд эхлээд А-г үнэн гэж үзээд энэ мэдээллээр В-г үнэн гэж дүгнэнэ.
