Математикада контрпозитив арқылы дәлелдеу немесе қарама-қарсылық арқылы дәлелдеу дәлелдеуде қолданылатын қорытынды ережесі болып табылады, онда оның контрпозитивінен шартты мәлімдеме жасалады. Басқаша айтқанда, "егер А болса, онда В" қорытындысы оның орнына "егер B болмаса, онда A емес" деген талаптың дәлелін құрастыру арқылы шығарылады.
Қарама-қайшылықпен дәлелді қалай жазасыз?
Қарама-қайшылықты дәлелдеуді пайдаланған кезде біз мына қадамдарды орындаймыз:
- Сіздің мәлімдемеңіз жалған деп есептеңіз.
- Тікелей дәлелдейтіндей әрекет етіңіз.
- Қарама-қайшылыққа тап болды.
- Қайшылыққа байланысты мәлімдеменің жалған болуы мүмкін емес, сондықтан ол шындық болуы керек екенін айтыңыз.
Сіз салмауды қалай дәлелдейсіз?
Тікелей дәлелдеу
- Сіз p мәнін ақиқат деп есептей отырып, q мәнін дәлелдеу үшін бастапқы біліміңізді және логика ережелерін пайдалана отырып, p q мәнін дәлелдейсіз.
- ``p ақиқат'' болжамы тұжырымдардың логикалық тізбегінің бірінші буыны болып табылады, олардың әрқайсысы өзінің ізбасарын білдіреді, оның соңы ``q ақиқат'' болып аяқталады.
Импликацияның мысалы қандай?
Импликацияның анықтамасы – қорытынды шығарылатын нәрсе. Ешқандай дәлел болмаса да, полицей адамды қылмысқа байланыстыруы. Ұсыну әрекеті немесе болжамды болу шарты.
А, В болса, дәлелдеудің үш жолы қандай?
«Егер А болса, онда В» түрінің мәлімдемесін дәлелдеудің үш жолы бар. Олар тікелей дәлелдеу, қарсы оң дәлелдеу және қарама-қайшылықпен дәлелдеу деп аталады. Тікелей дәлелдеу. «Егер А болса, онда В» тұжырымының ақиқат екенін тура дәлелдеу арқылы дәлелдеу үшін А-ны ақиқат деп қабылдаудан бастаңыз және бұл ақпаратты В-ның ақиқат екенін шығару үшін пайдаланыңыз.
