Математикада карама-каршылык менен далилдөө же карама-каршылык менен далилдөө далилдерде колдонулган корутундунун эрежеси, мында анын карама-каршылыгынан шарттуу билдирүү чыгарылат. Башка сөз менен айтканда, "эгерде А болсо, анда В" деген тыянак анын ордуна "эгерде В болбосо, анда А эмес" деген дооматтын далилин түзүү менен чыгарылат.
Карама-каршылык менен кантип далилдейсиз?
Карама-каршылык менен далилдөө үчүн жасалган кадамдар (кыйыр далил деп да аталат) булар:
- Тыянакыңыздын тескерисин ойлоңуз. …
- Божомолду жаңы натыйжаларды алуу үчүн колдонуңуз. …
- Божомол жалган болушу керек жана анын карама-каршылыгы (баштапкы тыянакыңыз) чын болушу керек деген тыянак чыгарыңыз.
Каршылык мыйзамын кантип далилдейсиз?
"Эгер жамгыр жааса, анда пальтомду кием" - "Эгер мен пальтомду кийбесем, анда жамгыр жаап жатат". Карама-каршылык мыйзамы мындай дейт: шарттуу билдирүү, эгерде анын карама-каршылыгы чын болсо гана, туура болот.). Бул көбүнчө карама-каршылыктын мыйзамы же тыянак чыгаруу эрежеси деп аталат.
Чалчаганыңызды кантип далилдейсиз?
Тарыгуусу менен далилдөө учуру үчүн каралган ар бир сан үчүн билдирүү туура экенин көрсөтөбүз. Сандар толук категорияларга бөлүнгөн жана ар бир категория үчүн билдирүү туура экени көрсөтүлгөн далилдер да камтылган.
Карама-каршы далилди качан колдонуш керек?
Карама-каршылыктын далилдери көбүнчө мүмкүнчүлүктөрдүн ортосунда экилик тандоо болгондо колдонулат:
- 2 \sqrt{2} 2 же рационалдуу же иррационалдуу.
- Чексиз көп жөнөкөй сандар бар же чексиз көп жөнөкөй сандар бар.
