Кээде математикада берилген математикалык билдирүүгө карама-каршы келген нерсени аныктоо маанилүү. Бул, адатта, билдирүүнү "жокко чыгаруу" деп аталат. Бир нерсени эстен чыгарбоо керек: эгер билдирүү чын болсо, анда аны жокко чыгаруу жалган (а эгер билдирүү жалган болсо, анда аны жокко чыгаруу чындык).
Жокко чыгарууга кандай мисал болот?
Токко чыгаруу - бул бир нерседен баш тартуу же баш тартуу. Эгер досуңуз сизди ага беш доллар карыз деп ойлосо жана сиз карыз эмесмин десеңиз, сиздин билдирүүңүз четке кагуу болуп саналат. … "Мен таймашты өлтүргөн жокмун" деген сөздү "мен байлык кайда экенин билбейм" деген сөз менен бирге жокко чыгаруу болушу мүмкүн. Бул сөздөрдүн бирин айтуу да жокко чыгаруу болуп саналат.
Математикалык логикада жокко чыгаруу деген эмне?
Логикада четке кагуу, логикалык толуктоо деп да аталат, башка сунушка "эмес" деп жазылган, же сунушту кабыл алган операция. Ал интуитивдик түрдө жалган болгондо чын, чын болгондо жалган деп чечмеленет. Демек, жокко чыгаруу унардык (бир аргументтүү) логикалык байланыштыруучу болуп саналат.
Математикадагы айрымдарды жокко чыгаруу деген эмне?
Жалпысынан: "Кээ бир А - В" дегенди жокко чыгаруу "А жок (болбойт) В." (Эскертүү: муну "Бардык А" деген сөз айкашын да айтса болот. Бдын карама-каршы, " бул конструкция кээде эки ача угулат.)
Каршы мисал деген эмне?
Мисалы, карап көрөлү«Эгер жамгыр жааса, чөп ным» дегени ЧЫН. Анда "Эгер чөп ным болбосо, жамгыр жаабайт" деген карама-каршы сөздү да ЧЫНДЫК деп ойлосоңуз болот.
