[MD-sorular] iki kanit yontemi

[Metin Odun]

Linklerde herşey açık aslında. Elde P=>Q olsun. İkincisi önermenin direkt
olarak karşıt değilini (contrapositivesi) kanıtlıyor. İlkinde P varken Q
olmazsa çelişki buluyor. Benzer yanı şu, iki yöntem de Q yanlışsa bir
çelişki bulmaya dayanıyor. (P VE ~Q)=>F bulunuyor. Demek ki ~P VEYA Q, yani
P implies Q. İkinci yöntemde direkt ~Q ile işe başlanıyor. İlkinde de
aslında P=>Q'nun tersi alınıyor ki bu P VE ~Q'dur, bunun çelişki yaratacağı
görülüyor. Dediğim gibi, elde P varken Q yoksa çelişki bulunuyor, benzer
yanı bu. Farkı da aradaki geçişlerde bir iki satırın değişik olması sanırım,
"değişik" ne demekse...

Aslında net sorulmamış bir soruya yanıt verdim. Kerem Altun,

1- "Aynı şey" ne demek?
2- Neden aynı olduklarını düşündünüz?

Metin
02 Şubat 2010 20:16 tarihinde Kerem Altun <kerem.altun at gmail.com> yazdı:

> Wikipedia'dan iki kanit yonteminin linklerini asagiya yaziyorum:
>
> http://en.wikipedia.org/wiki/Proof_by_contradiction
>
> http://en.wikipedia.org/wiki/Proof_by_contrapositive
>
>
> Wikipedia bu ikisi benzer kanit yontemleridir demis. Bu ikisi zaten ayni
> sey degil mi?
>
> Kerem
>
>
> _______________________________________________
> MD-sorular e-posta listesi
> sorular at matematikdunyasi.org
> http://lists.math.bilgi.edu.tr/cgi-bin/mailman/listinfo/md-sorular
>
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: <http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20100202/028ef933/attachment.htm>