reductio ad absurdum
-
eukleides'in ilk olarak elementler'inin 1. cildinin altıncı teoremine ulaşırken kullandığı metottur.
ayrıca principia mathematica'da 2•01 nolu önermede ispatı verilen önerme çeşidi.
eğer p kendini yanlışlıyorsa p yanlıştır. formal gösterim:
(p—›-p)—›-p
ispatı şöyle verilebilir:
eğer p doğru ise p doğrudur: p—›p
eğer p doğru değil ise p doğru değildir: -p—›-p
eğer p doğru ise p doğru değildir: p—›-p
(pv-p)—› p doğru olsun veya olmasın: p yanlıştır -p
önermenin tersi için:
(-p—›p)—›p (buna consequentia mirabilis de denir)
ispatı:
eğer p doğru ise p doğrudur: p—›p
eğer p yanlış değil ise p doğrudur: -p—›p
(pv-p)—› p doğru olsun veya olmasın p doğrudur: p
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap