Vad är bevismetoden "motsägelse"

Vad är bevismetoden "motsägelse"



Beviset är logiskt resonemang,Det fastställer sannolikheten för ett uttalande med hjälp av bevisade sanningar. Samtidigt måste det som bevisas kallas en avhandling, och argumenten och grunderna är redan kända sanningar.





Vad är bevismetoden "motsägelse"

















Bevis av Sanningen

Bevis "från motsatsen" (på latin"reductio ad absurdum") kännetecknas av det faktum att själva processen att bevisa en åsikt utförs genom att åsidosätta motsatt dom. Antithesens förfalskning kan bevisas genom att konstatera att det är oförenligt med det sanna propositionen. Vanligtvis visas en sådan metod visuellt med användning av formeln, där A är motsatsen och B är sanningen. Om det i lösningen visar sig att närvaron av variabel A leder till resultat som skiljer sig från B, så är falsiteten hos A. bevisad.

Bevis "motsägelse" utan användning av sanning

Det finns en enklare formel för bevisetfalskhet "motsättning" - antitesen. En sådan formel-regeln säger: "Om beslutet variabeln i formeln finns en motsägelse, A - är falskt." Det spelar ingen roll om motsatsen till den negativa eller positiv bedömning. Dessutom har en enklare metod för indirekt bevis innehåller endast två fakta: det tes och antites, sanningen är inte används. I matematik, förenklar det processen med bevis.

Apagogiya

I bevisprocessen är motsatsen (vilkenfortfarande kallad "reduktion till absurditet") använder ofta apagogik. Detta är en logisk teknik som syftar till att bevisa otrohet någon dom så att den direkt eller följderna av det identifierades motsägelse. Denna motsägelse kan uttryckas i identiteten uppenbarligen olika objekt eller som utgångar: en konjunktion eller likvärdighet paret B och B (och inte sant sant) .Om bevis "genom motsägelse" ofta används i matematik. I många fall är det inte möjligt att bevisa felaktig bedömning genom en annan metod. Förutom apagogi finns det också en paradoxal form av bevis från motsatsen. Denna form har använts i "Elements" Euklides och representerar följande regel: A betraktas bevisas när erhållits demonstrera och "sanning falska" A.Takim sätt, följer förfarandet att visa motsatsen (det kallas också ett indirekt bevis och apogogicheskim) som. Det sätter fram, till skillnad från den tes, antites härrör från denna undersökning, bland vilka sökte efter något falskt. De finner bevis på att bland konsekvenserna finns det verkligen en falsk. Av detta kan man dra slutsatsen att motsatsen är fel och fel igen antitesen, den logiska slutsatsen att sanningen finns i avhandlingen.