Математикада карама-каршылык менен далилдөө же карама-каршылык менен далилдөө далилдөөдө колдонулуучу корутундунун эрежеси болуп саналат, мында анын карама-каршылыгынан шарттуу билдирүү чыгарылат. Башка сөз менен айтканда, "эгерде А, анда В" деген тыянак анын ордуна "эгер В болбосо, анда A эмес" деген дооматтын далилин түзүү аркылуу тыянак чыгарылат.
Карама-каршылык менен далилди кантип жазасыз?
Карама-каршылык менен далилдөө үчүн биз бул кадамдарды аткарабыз:
- Сиздин билдирүүңүздү жалган деп эсептеңиз.
- Түз далилдөө менен улантыңыз.
- Карама-каршылыкка туш келди.
- Карама-каршылыктан улам билдирүү жалган деп айтууга болбойт, андыктан ал чын болушу керек деп билдириңиз.
Сиз кандай мааниге ээ?
Түз далил
- Сиз p q импликациясын p чындык деп эсептеп, q чындыгын далилдөө үчүн өзүңүздүн баштапкы билимиңизди жана логиканын эрежелерин колдонуу менен далилдейсиз.
- ``p чындык'' божомолу логикалык чынжырчанын биринчи шилтемеси болуп саналат, ар бири өзүнүн мураскерин билдирет жана '`q чындык'' менен аяктаган.
Импликациянын мисалы кандай?
Импликациянын аныктамасы - бул тыянак. Эч кандай далил жок болсо да, милиция кызматкери адамды кылмышка байланыштырды. Ырас кылуу актысы же кыйыр болуу шарты.
А болсо В болсо, далилдөөнүн үч жолу кандай?
“Эгер А болсо, анда В” түрүндөгү билдирүүнү далилдөөнүн үч жолу бар. Алар түз далил, карама-каршы позитивдүү далил жана карама-каршылык деп аталат. Түз далил. “Эгер А болсо, анда В” деген сөздүн чын экенин тике далилдөө аркылуу далилдөө үчүн, А туура деп болжолдоодон баштаңыз жана бул маалыматты В чындык деп чыгаруу үчүн колдонуңуз.
