Hvad er bevismetoden "ved modstrid"

Hvad er bevismetoden "ved modstrid"



Beviset er logisk begrundelse,Det fastslår rigtigheden af ​​en erklæring ved hjælp af beviste sandheder. Samtidig er det, der skal bevises, kaldet en afhandling, og argumenterne og grunde er allerede kendte sandheder.





Hvad er bevismetoden "ved modstrid"

















Bevis ved sandhed

Bevis "modsat" (på latin"reductio ad absurdum") er kendetegnet ved, at selve processen med at bevise en udtalelse udføres ved at afvise den modsatte dom. Antithesens forfalskning kan bevises ved at fastslå, at den er uforenelig med det sande forslag. Normalt er sådan en metode demonstreret visuelt ved anvendelse af formlen, hvor A er antitese, og B er sandheden. Hvis det i løsningen viser sig, at tilstedeværelsen af ​​variabel A fører til resultater, der er forskellige fra B, så er svindlen af ​​A. vist.

Bevis "ved modstrid" uden brug af sandhed

Der er en lettere formel til bevisetfalskhed af "modsat" - antitese. En sådan formelregel siger: "Hvis der opstår en modsigelse i løsningen med variabel A, er A falsk". Det er ligegyldigt, om antitese er et negativt eller bekræftende forslag. Derudover indeholder en enklere måde at bevise modsat kun to fakta: afhandling og antitese, sandhed B er ikke brugt. I matematik forenkles det i høj grad bevisprocessen.

Apagogiya

I bevisprocessen er det modsatte (hvilketkaldes stadig "reduktion til absurditet") bruger ofte apagogik. Dette er en logisk teknik, som har til formål at bevise utroskab af enhver dom, så det direkte eller følger af det blev identificeret modsigelse. Denne modsigelse kan udtrykkes i identiteten tydeligvis forskellige objekter eller som udgange: en forbindelse eller ligestilling par B og B (og ikke true true) .Hvis bevis "ved modsigelse" anvendes ofte i matematik. I mange tilfælde er det ikke muligt at bevise fejlagtighed ved en anden metode. Foruden apagogi er der også en paradoksal form for bevis fra modsat. Dette skema er blevet brugt i "Elements" Euclid og betegner følgende regel: A betragtes bevist når opnåede demonstrere og "sandheden falsk" A.Takim måde, færd med at bevise det modsatte (det kaldes også en indirekte bevis og apogogicheskim) som følger. Det fremfører det synspunkt, i modsætning til den tese, antitese stammer fra denne undersøgelse, blandt hvilke søgte falsk. De finder bevis for, at der blandt konsekvenserne her er en falsk. Ud fra dette kan det konkluderes, at modsætningen er forkert, og forkert igen antitese, den logiske konklusion, at sandheden findes i afhandlingen.