Шта је Диспрооф?

Побијања су врста математичког доказа који показује да је изјава или хипотеза лажна. Другим речима, оповргавање је доказ да нешто не може бити тачно.ӕӕДа би оповргао изјаву, математичар мора да пронађе логичку контрадикцију унутар саме изјаве, или да покаже да изјава води до логичке контрадикције када се примени на одређене специфичне случајеве.ӕӕЗа на пример, размотрите изјаву „Све мачке су љубичасте“. Ова изјава се може оповргнути показивањем да нису све мачке љубичасте, као што је представљање доказа да мачка није љубичаста. Алтернативно, могло би се показати да је та изјава логички контрадикторна тако што би истакла да неке мачке нису љубичасте, па стога изјава не може бити тачна.ӕӕОспоравања су важно оруђе у математици, јер омогућавају математичарима да искључе одређене могућности и сузе траже решења математичких задатака. Такође су корисни у логици и рачунарству, где се могу користити за тестирање валидности алгоритама и других логичких конструкција.