Pruvo per disputo: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
eNeniu resumo de redakto |
|||
Linio 1:
''Tiu ĉi artikolo traktas pri pruvo per disputo kiel pri neformala pruvo en senco kutime uzata en [[matematiko]], [[logiko]] kaj en kutima pripensado. Pri formala disputo kiel pri nocio de [[matematika logiko]] traktas artikolo [[Disputo (matematika logiko)]].''
----
'''Pruvo per disputo''' (latine ''reductio ad absurdum'') estas tipo de [[logiko|logika]] [[pruvo]], en kiu oni pruvos, ke supozo kondukas al sensenca rezulto (al [[logika disputo]]), kio signifas, ke la supozo estas malvera, kaj do validas ties [[logika neo]]. Ĉar la pruvo per disputo estas fondita en [[leĝo pri elimino de tria]], eblas uzi ĝin sole en tiuj logikaj sistemoj, en kiuj tiu ĉi leĝo validas. La pruvon per disputo do ne eblas uzi ekz. en [[plurvalora logiko|plurvaloraj logikoj]] aŭ en [[intuicionista logiko]].
| |||