From Wikipedia, the free encyclopedia
Reductio ad absurdum (svođenje na besmisleno) je vrsta logičkog svođenja u kojem tvrdnja se zasniva na promicanje tvrdne apsurdnosti odnosno besmislenosti, bilo da je istinita ili lažna da bi se doveo da zaključka da je nešto istinito ili lažno.
Možemo li dokazati kontradikciju ⊥ na osnovi dodatne pretpostavke P, onda možemo zaključiti ¬P na osnovi početnih premisa.[1]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.