Karşıt ters yöntemiyle ispat yaparken, orijinal önermenin doğruluğunu göstermek için hangi adım izlenir?
A) p → q'nun doğruluğu doğrudan gösterilir
B) q → p'nin doğruluğu gösterilir
C) ¬q → ¬p'nin doğruluğu gösterilir
D) p ∧ q'nun doğruluğu gösterilir
Karşıt ters yöntemi, matematiksel ispatlarda kullanılan güçlü bir dolaylı ispat tekniğidir. Bu yöntemin temelinde, bir önerme ile onun karşıt tersinin mantıksal olarak denk olması yatar. Şimdi bu adımları detaylıca inceleyelim:
- Orijinal Önerme: İspatlamak istediğimiz önerme genellikle "Eğer $p$ ise $q$" şeklinde bir koşullu önermedir ve matematiksel olarak $p \rightarrow q$ ile gösterilir. Burada $p$ hipotez (varsayım), $q$ ise sonuçtur.
- Karşıt Tersi (Kontrapozitif): Bir $p \rightarrow q$ önermesinin karşıt tersi, "Eğer $q$ değilse $p$ değil" şeklindedir. Bu, matematiksel olarak $\neg q \rightarrow \neg p$ ile ifade edilir. ($\neg$ sembolü "değil" veya "olumsuzlama" anlamına gelir.)
- Mantıksal Denklik: Karşıt ters yönteminin anahtarı, bir önerme ile onun karşıt tersinin her zaman mantıksal olarak denk olmasıdır. Yani, $(p \rightarrow q) \equiv (\neg q \rightarrow \neg p)$ eşitliği her zaman doğrudur. Bu demektir ki, eğer $p \rightarrow q$ doğruysa, $\neg q \rightarrow \neg p$ de doğrudur; ve eğer $\neg q \rightarrow \neg p$ doğruysa, $p \rightarrow q$ da doğrudur.
- İspat Yöntemi: Karşıt ters yöntemiyle ispat yaparken, doğrudan $p \rightarrow q$'nun doğru olduğunu göstermekte zorlandığımızda, ona mantıksal olarak denk olan $\neg q \rightarrow \neg p$'nin doğru olduğunu göstermeye çalışırız. Eğer $\neg q \rightarrow \neg p$'nin doğru olduğunu ispatlayabilirsek, mantıksal denklik sayesinde orijinal önermemiz olan $p \rightarrow q$'nun da doğru olduğunu otomatik olarak göstermiş oluruz.
- Seçeneklerin Değerlendirilmesi:
- A) $p \rightarrow q$'nun doğruluğu doğrudan gösterilir: Bu, doğrudan ispat yöntemidir, karşıt ters yöntemi değildir.
- B) $q \rightarrow p$'nin doğruluğu gösterilir: Bu, orijinal önermenin tersidir. Bir önerme ile tersi mantıksal olarak denk değildir.
- C) $\neg q \rightarrow \neg p$'nin doğruluğu gösterilir: Bu, orijinal önermenin karşıt tersidir ve orijinal önerme ile mantıksal olarak denktir. Karşıt ters yöntemiyle ispatın temel adımı budur.
- D) $p \land q$'nun doğruluğu gösterilir: Bu, "$p$ ve $q$" anlamına gelir ve bir ispat yönteminin adımı olmaktan ziyade, iki önermenin aynı anda doğru olduğunu ifade eder.
Bu açıklamalar ışığında, karşıt ters yöntemiyle ispat yaparken, orijinal önermenin doğruluğunu göstermek için izlenen adım, orijinal önermenin karşıt tersi olan $\neg q \rightarrow \neg p$'nin doğruluğunu göstermektir.
Cevap C seçeneğidir.
