Mikä on Disproof?

Disproofs ovat eräänlainen matemaattinen todiste, joka osoittaa, että väite tai hypoteesi on väärä. Toisin sanoen, kiistäminen on todiste siitä, että jokin ei voi olla totta.

Väittämän kumoamiseksi matemaatikon on löydettävä looginen ristiriita itse väitteestä tai osoitettava, että väite johtaa loogiseen ristiriitaan, kun sitä sovelletaan tiettyihin erityistapauksiin.

Sillä. harkitse esimerkiksi lausetta "Kaikki kissat ovat violetteja". Tämä väite voidaan kumota osoittamalla, että kaikki kissat eivät ole violetteja, esimerkiksi esittämällä todisteita kissasta, joka ei ole violetti. Vaihtoehtoisesti voidaan osoittaa, että väite on loogisesti ristiriitainen huomauttamalla, että jotkut kissat eivät ole violetteja, ja siksi väite ei voi olla totta.

Väistämiset ovat tärkeä työkalu matematiikassa, koska niiden avulla matemaatikot voivat sulkea pois tietyt mahdollisuudet ja kaventaa etsiä ratkaisuja matemaattisiin ongelmiin. Niistä on hyötyä myös logiikassa ja tietojenkäsittelytieteessä, jossa niitä voidaan käyttää algoritmien ja muiden loogisten konstruktien validiteetin testaamiseen.