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.





Mikä on todistustapa "ristiriitaisella"

















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.