Please enable JavaScript.
Coggle requires JavaScript to display documents.
İSPAT TEKNİKLERİ 179293184 - Coggle Diagram
İSPAT TEKNİKLERİ
TÜMEVARIM
[Doğal sayının kapsadığı, boş kümeden farklı bir S kümesi olsun. 1 diye adlandırılan doğal sayı S kümesinde kapsanan eleman olsun ve var olan eleman ardışığını gerektiriyorsa S doğal sayı kümesidir. Böylelikle S kümesi denktir N kümesine deriz
]
-
TÜMDENGELİM
DOGRUDAN İSPAT
Böylelikle p=>q , p,q'yu gerektirir.
p=>q önermesi ispatlanmak istendiğinde p'nin neyi gerektirdiği, ...... bir gerektirme zinciri oluşturur Böylelikle p=>p1, p1=>p2 , p2=>p3 ...... pr=>q bu zincirlemeler sonucunda p=>q denir.
-
-
DOLAYLI İSPAT
OLMAYANA ERGİ
-
Bir teoremin yargısının (hüküm) yanlış olduğunu kabul edip savının (hipotez) yanlışlığını kanıtlama yöntemidir
-
ÇELİŞKİ BULMA
p=>q önermesi ispatlanmak isteniyor. Böylelikle p=>q <=> p'vq <=> (pnq')'
Bunun için p hipotezinin doğru olduğu varsayılır ve q reddedilir. q doğru olmasın buradan hareketle bir çelişki elde edilir.
-
-
-