Teiginių logika: Skirtumas tarp puslapio versijų

''Netiesioginiuose įrodymuose'' užuot įrodžius, kad logiškai teisingas [[sakinys]] <math>p\to q</math>, įrodomas kitas, ekvivalentus teiginys. Įrodymas per [[transpozicija|transpoziciją]], kaip vienas tokio įrodymo būdų, užuot įrodęs, kad sakinys <math>p\to q</math> yra logiškai teisingas, įrodomas jam ekvivalentus [[kontrapozicija|kontrapozicijos]] teiginys <math>\neg q\to \neg p</math>. Panašus netiesioginis įrodymas yra [[Privedimasprivedimas iki absurdo]], arba įrodymas per prieštarą. Jeigu reikia įrodyti tezę <math>q</math>, tai priimama priešinga prielaida <math>\neg q</math> ir gaunamas prieštaravimas <math>(r \land \neg r)</math>, tada daroma išvada, kad turėjo būti teisinga <math>q</math>, t. y. <math>[\neg q \to (r \land \neg r)] \to q</math>. Dar vienas netiesioginis įrodymas – ''atskiriamasis įrodymas'', kuriame tezės teisingumas nustatomas nustatant kitų disjunkcijos [[alternatyva|alternatyvų]] klaidingumą.