proof by contrapositive
-
(p => q) önermesi ispatlanmaya çalışılırken (q' => p')'nun ispatlanması daha kolay olması durumunda kullanılan yöntemdir. bu yönteminin doğru olduğu şöyle gösterilebilir:
(p => q) = (p' v q) = (q v p') = (q' => p').
not: eşitlik sembolü yerine denklik sembolü daha doğru olurdu tabi ama napalım elimizden bu geldi.
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