Block, SkipCaptcha, Automoderated users, edit, rollback
3,026
edits
Changes
mLine 1:
Line 1: +
propose merge
{{merge from|Reductio ad absurdum}}
'''Reductio ad absurdum''', also called '''proof by contradiction''', is a method of [[mathematical proof]]. It involves assuming the opposite of what one is trying to [[prove]], and showing that this would lead to a [[contradiction]]. It works by the [[law of the excluded middle]]. The proof typically follows this structure:
'''Reductio ad absurdum''', also called '''proof by contradiction''', is a method of [[mathematical proof]]. It involves assuming the opposite of what one is trying to [[prove]], and showing that this would lead to a [[contradiction]]. It works by the [[law of the excluded middle]]. The proof typically follows this structure: