Кейде математикада берілген математикалық мәлімдемеге қарама-қарсы мәнді анықтау маңызды. Бұл әдетте мәлімдемені «жоқтау» деп аталады. Бір ескеретін жайт, егер мәлімдеме ақиқат болса, оны теріске шығару жалған болады (ал мәлімдеме жалған болса, оны теріске шығару ақиқат болады).
Теріскенің мысалы қандай?
Терістеу - бұл бір нәрседен бас тарту. Егер сіздің досыңыз сізге бес доллар қарыз деп ойласа және сіз қарызсыз десеңіз, сіздің мәлімдемеңіз теріске шығарылады. … «Мен қондырманы өлтірген жоқпын», «Мен қазынаның қайда екенін білмеймін» деген сөзбен бірге теріске шығару болуы мүмкін. Бұл мәлімдемелердің бірін айту әрекеті де теріске шығару болып табылады.
Математикалық логикада терістеу дегеніміз не?
Логикада терістеу, логикалық толықтауыш деп те аталады, басқа ұсынысқа "емес" жазылған, немесе ұсыныс қабылдайтын операция. Ол интуитивті түрде өтірік болғанда ақиқат, шын болғанда жалған деп түсіндіріледі. Терістеу біртұтас (бір аргумент) логикалық жалғау болып табылады.
Математикадағы кейбір терістеу дегеніміз не?
Жалпы: "Кейбір А - В" терістеу "А жоқ (болмайды) В." (Ескертпе: бұл сондай-ақ "Барлық A бар" деген сөйлемге де болады. B дегенге қарама-қарсы, " бұл құрылыс кейде екіұшты естіледі.)
Контрапозитивті мысал дегеніміз не?
Мысалы, мынаны қарастырыңыз«Егер жаңбыр жауса, онда шөп дымқыл» деген сөз рас. Сонда сіз "Егер шөп дымқыл болмаса, жаңбыр ЖОҚ" деген қарама-қарсы пікірді де ШЫНДЫҚ деп болжауға болады.
