Virheellinen todistelu
Virheellinen todistelu tarkoittaa argumentaatiovirhettä, jossa perustelu on muodollisesti oikein, mutta siinä on semanttinen virhe. Sille on vaikeaa antaa yleistä muotoa, mutta se on varsinkin matematiikkaa käyttävässä retoriikassa yleistä. Yleisimmillään virheellinen todistus liittyy nollalla jakamiseen.
- Moraalia ei voi syödä (= moraalisesti käyttäytyminen tilanteessa, jossa on valittavana joko selviytyminen moraalittomalla toimintatavalla tai tuhoutuminen moraalisella toimintatavalla, moraalisesti toimiminen on tuhoisaa, alun perin Machiavellin metafora pakkotilasta.)
- Voipas. Moraali vaikuttaa esimerkiksi ihmisten ravintotottumuksiin. Esimerkkinä vaikkapa hindujen lihansyöntikielto. Jos ihmiset nyt valitsevat ravintotottumuksensa moraalisin perustein, he syövät moraalinsa mukaan, ja valitsemalla viisaasti voi selviytyä vaikkapa katovuoden yli. Siksi on täysin mahdollista sanoa, että moraalia voi syödä.
Tässä virhe on ensinnäkin reifikaatio (metaforan kohteleminen reaalisena) ja toisaalta premissin pitäminen argumenttina sellaisenaan (ruokatottumuksien premissin eli moraalikäsityksen pitämistä ruokatottumuksena itsenään). Ensimmäisenä Machiavellin metafora pakkotilasta reifioidaan reaaliseksi aineenvaihdunnaksi. Hindujen lihansyöntikielto puolestaan on savuverho. Virheellinen todistelu sitten liittyy reifikaatiolla saadun subjektiivisista ominaisuuksistaan riisutun metaforan pitämisenä toisen metaforan premissinä, ja tämän premissin pitämisenä sitten itse argumenttina (nälkävuodesta selviäminen). Tätä todistelua, jota voidaan pitää myös sanahelinänä tai Chewbacca-puolustuksena, on todella käytetty sfnetin alkuaikoina.
Aulikki Oksasen sanoin nälkäisten vatsat eivät suudelmista täyty (pakkotilasta ei selviä moraalisesti toimimalla).
Todistus, että 1 on yhtä suuri kuin −1
Oletetaan, että
Muutetaan molemmat alkutekijöihinsä
Otetaan molemmilta puolin yhtälöä neliöjuuri
joka on sama kuin
Jos lavennamme nimittäjät pois kertomalla molemmat puolet ja , saamme
Mutta minkä tahansa luvun neliöjuuren nostaminen toiseen potenssiinsa tuottaa alkuperäisen luvun, joten
MOT
Tämä todistus on kuitenkin virheellinen, sillä siinä käytetään neliöjuurta väärin:
Tämä periaate on kuitenkin totta vain, jos y on positiivinen luku. Se ei siis päde -1:llä
Todistus, että 1 on pienempi kuin 0
Oletetaan että x kuuluu avoimelle välille ]0,1[:
Otetaan molemmilta puolilta logaritmi. Voimme tehdä tämän silloin kun x > 0, sillä logaritmit ovat monotonisesti kasvavia. Koska luvun 1 logaritmi on 0, saamme
Jakamalla ln (x) :llä saamme
Virhe on viimeisessä vaiheessa eli jakolaskussa. Virhe on ilmeinen, sillä siinä jakaja on negatiivinen. Tällöin myös osamäärän etumerkin tulisi vaihtua. Jako- tai kertolasku negatiivisella luvulla muuttaa tulon tai osamäärän vastaluvukseen: toisin sanoen, tuloksen tulisi olla 1 > 0, joka on oikea tulos.
Todistus, että 8 on yhtä suuri kuin 4
Olkoon a ja b kumpikin 4 (nollasta poikkeava positiivinen luku)
Kerrotaan molemmat puolet a:lla
Vähennetään molemmilta puolilta
Jaetaan molemmat puolet tekijöihinsä
Supistetaan :llä
Asetetaan muuttujille arvot:
Tässä virhe on supistaminen (a-b):llä. Jos ja kun a = 4 ja b = 4, tällöin a-b = 0, ja nollalla jakaminen on matemaattisesti kielletty operaatio.