„Reductio ad absurdum” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a kisebb formai javítások |
|||
6. sor:
Itt <math>\scriptstyle \Gamma </math> kijelentések egy halmaza, <math>\scriptstyle A</math> és <math>\scriptstyle B</math> pedig tetszőleges kijelentések, <math>\scriptstyle \bot</math> pedig az ellentmondásnak megfelelő logikai konstans.
A [[matematikai logika|matematikai logikában]] a [[kizárt harmadik elve
[[Retorika]]ilag hasonló, de logikai értelemben nem feltétlen helyes érvelés a [[reductio ad ridiculum]], amikor egy olyan következtetést vezetnek le az állításból, ami nem mindenkinek, hanem csak a hallgatóság számára abszurd.
15. sor:
* Egy kocka nem bontható fel véges sok, páronként különböző kisebb kockára. Ha ugyanis felbontható lenne, akkor az alsó lapján a legkisebb kockát véve, annak csupa önmagánál nagyobb szomszédja lenne, így a rajta lévő kocka sem lehetne nagyobb nála, ami ellentmond annak, hogy a legkisebb kockát vettük.
A fenti példák mind valaminek a nemlétét bizonyítják. Ha elfogadjuk a [[kizárt harmadik]] axiómáját, akkor valaminek a léte is bizonyítható hasonló módon; a [[fixponttétel]] példa egy ilyen bizonyításra. Egyes matematikai iskolák, például az [[intuicionizmus]], elvetik a [[kizárt harmadik elve|
== Lásd még ==
|