Mikä on todistustapa "ristiriitaisella"
Mikä on todistustapa "ristiriitaisella"
Todiste on looginen päättely,Se vahvistaa lausunnon totuudenmukaisuuden todettujen totuuksien avulla. Samaan aikaan, mitä on osoitettava, sitä kutsutaan tutkielmaksi, ja argumentit ja perustelut ovat jo tunnettuja totuuksia.
Todistus totuuden mukaan
Todiste "päinvastoin" (latin"reductio ad absurdum") on luonteenomaista se, että lausunnon todistamisprosessi toteutetaan kumoamalla vastakkainen tuomio. Antiteesin virheellisyyttä voidaan osoittaa todistamalla se, että se on ristiriidassa todellisen ehdotuksen kanssa. Yleensä tällainen menetelmä on visuaalisesti osoitettu käyttäen kaavaa, jossa A on antiteesi ja B on totuus. Jos ratkaisussa ilmenee, että muuttujan A läsnäolo johtaa tuloksiin, jotka eroavat B: stä, niin todetaan A: n virheellisyys.Todiste "ristiriitaisella" ilman totuuden käyttöä
Todiste on helpompi kaava"vastoin" - vastakkainasettelu. Tällainen kaava-sääntö sanoo: "Jos ristiriita syntyy muuttujassa A, A on väärä". Ei ole väliä onko vastakkainen negatiivinen tai myönteinen ehdotus. Lisäksi yksinkertaisempi tapa osoittaa päinvastoin vain kaksi tosiasiaa: väitöskirja ja antiteesi, totuutta B ei käytetä. Matematiikassa tämä yksinkertaistaa huomattavasti todistusprosessia.Apagogiya
Todisteluprosessissa päinvastainen (jokajota kutsutaan edelleen "vähennykseksi järjettömyydestä") käyttää usein apagogiaa. Tämä on looginen tekniikka, jonka tarkoituksena on todistaa uskottomuuden tuomiota niin, että se suoraan tai seurauksista se tunnistettiin ristiriita. Tämä ristiriita voidaan ilmentää identiteetti selvästi erilaisia esineitä tai lähdöt a yhdessä tai vastaavuuden pari B ja B (ja ei true) .Jos todiste "ristiriita" käytetään usein matematiikkaa. Monissa tapauksissa ei ole mahdollista todistaa tuomion virheellisyyttä toisella menetelmällä. Apagogian ohella on myös paradoksaalista todistettavuutta. Tässä muodossa on käytetty "Elements" Eukleides ja edustaa seuraava sääntö: A katsotaan osoittautunut, kun on saatu osoittaa ja "totuus epätotuuden" A.Takim tavalla, prosessi osoittaa, päinvastoin (sitä kutsutaan myös epäsuora todiste ja apogogicheskim) seuraavasti. Siinä esitetään mieltä, toisin kuin tutkielma, antiteesi johdetut tutkimuksessa, joiden joukossa etsivät väärää. He havaitsevat, että seurausten joukossa on todellakin väärä. Tästä voidaan päätellä, että vastakohta on väärä, ja jälleen väärin antiteesi, looginen johtopäätös, että totuus löytyy tutkielma.