Care este metoda de probă "prin contradicție"
Care este metoda de probă "prin contradicție"
Dovada este raționamentul logic,Ea stabilește veridicitatea unei declarații cu ajutorul adevărurilor dovedite. În același timp, ceea ce trebuie dovedit este numit o teză, iar argumentele și motivele sunt adevăruri deja cunoscute.
Dovada prin Adevăr
Dovada "din contrar" (în latină"reductio ad absurdum") se caracterizează prin faptul că însăși procesul de dovedire a unei opinii se realizează prin respingerea judecății opuse. Falsitatea antitezei poate fi dovedită prin stabilirea faptului că este incompatibil cu propoziția adevărată. De obicei, o astfel de metodă este demonstrată vizual folosind formula, în care A este antiteza și B este adevărul. Dacă în soluție rezultă că prezența variabilei A conduce la rezultate diferite de B, atunci falsitatea lui A. este dovedită.Dovada "prin contradicție" fără folosirea adevărului
Există o formulă mai ușoară pentru dovadăfalsitatea "contrar" - antiteza. O astfel de regulă de formulare spune: "Dacă apare o contradicție în soluția cu variabila A, A este falsă". Nu contează dacă antiteza este o propoziție negativă sau afirmativă. În plus, un mod mai simplu de a dovedi contrariul conține doar două fapte: teza și antiteza, adevărul B nu este folosit. În matematică, acest lucru simplifică foarte mult procesul de probă.Apagogiya
În procesul de dovedire, opusul (carenumită în continuare "reducere la absurditate") utilizează adesea apagogie. Aceasta este o tehnică de logică, care are scopul de a dovedi infidelitatea oricărei hotărâri, astfel încât au fost identificate în mod direct sau consecințele care decurg din aceasta contradicție. Această contradicție poate fi exprimată în identitatea de obiecte în mod evident diferite sau ca ieșiri: o conjuncție sau echivalare perechea B și B (și nu este adevărat adevărat) .Dacă dovada „de contradicție“ este adesea folosit în matematică. În multe cazuri, nu este posibil să se dovedească incorectitudinea judecății printr-o altă metodă. Pe lângă apagogii există o formă paradoxală de dovezi contrare. Acest formular a fost folosit în „elemente“ Euclid și reprezintă următoarea regulă: A este considerată dovedită atunci când obținute demonstrează și „adevărul falsitate“ mod A.Takim, procesul de a dovedi contrariul (aceasta se numește, de asemenea, o dovadă indirectă și apogogicheskim) după cum urmează. Acesta invocă punctul de vedere, contrar tezei, antiteza derivată din această anchetă, printre care a căutat fals. Ei găsesc dovezi că printre consecințele există într-adevăr o falsă. Din aceasta se concluzionează că antiteza este greșit, și greșit din nou antiteză, concluzia logică că adevărul se găsește în teză.
