Karşıt ters yöntemiyle ispatın geçerli olması için aşağıdaki koşullardan hangisi gereklidir?
A) p ve q'nun aynı kümeden olması
B) p → q önermesinin karşıt tersinin p → q'ya denk olması
C) p ve q'nun doğruluk değerlerinin aynı olması
D) p ve q'nun yanlış olması
Karşıt ters yöntemiyle ispat, matematikte ve mantıkta sıklıkla kullanılan bir ispat tekniğidir. Bu yöntemin geçerli olmasının temelinde yatan mantıksal ilkeyi anlamak için adım adım ilerleyelim:
- 1. Koşullu Önerme: Öncelikle, ispatlamak istediğimiz önerme genellikle "$p \rightarrow q$" (Eğer $p$ ise $q$) şeklinde bir koşullu önermedir. Burada $p$ hipotez (varsayım), $q$ ise sonuçtur.
- 2. Karşıt Ters Önerme: Bir $p \rightarrow q$ önermesinin karşıt tersi, "$\neg q \rightarrow \neg p$" (Eğer $q$ değilse $p$ değil) şeklindedir. Burada "$\neg$" işareti "değil" anlamına gelir. Yani, sonucun olumsuzundan hipotezin olumsuzuna giden bir önermedir.
- 3. Karşıt Ters Yönteminin Amacı: Doğrudan $p \rightarrow q$ önermesinin doğru olduğunu ispatlamakta zorlandığımızda, onun karşıt tersi olan $\neg q \rightarrow \neg p$ önermesinin doğru olduğunu ispatlamaya çalışırız.
- 4. Yöntemin Geçerliliği: Bu yöntemin geçerli olmasının tek ve en önemli nedeni, bir koşullu önerme ile onun karşıt tersinin mantıksal olarak her zaman birbirine denk olmasıdır. Yani, $p \rightarrow q \equiv \neg q \rightarrow \neg p$. Bu denklik, her iki önermenin de aynı doğruluk değerine sahip olduğu anlamına gelir: eğer $p \rightarrow q$ doğruysa, $\neg q \rightarrow \neg p$ de doğrudur; eğer $p \rightarrow q$ yanlışsa, $\neg q \rightarrow \neg p$ de yanlıştır. Dolayısıyla, karşıt tersini ispatladığımızda, orijinal önermeyi de ispatlamış oluruz.
Şimdi seçenekleri inceleyelim:
- A) p ve q'nun aynı kümeden olması: $p$ ve $q$ birer önermedir (doğru veya yanlış olabilen ifadeler). Küme kavramı bu bağlamda geçerli değildir ve ispat yönteminin geçerliliğiyle ilgisi yoktur.
- B) p → q önermesinin karşıt tersinin p → q'ya denk olması: Bu ifade, karşıt ters yöntemiyle ispatın temelini oluşturan ve geçerliliğini sağlayan koşuldur. $p \rightarrow q$ önermesi ile onun karşıt tersi $\neg q \rightarrow \neg p$ önermesinin mantıksal olarak denk olması ($p \rightarrow q \equiv \neg q \rightarrow \neg p$) sayesinde, birini ispatladığımızda diğerini de ispatlamış oluruz.
- C) p ve q'nun doğruluk değerlerinin aynı olması: Bu, her zaman geçerli bir koşul değildir. Örneğin, $p$ yanlış ve $q$ doğru olduğunda $p \rightarrow q$ önermesi doğrudur. Bu durumda $p$ ve $q$'nun doğruluk değerleri farklıdır, ancak karşıt ters yöntemi hala geçerlidir çünkü $p \rightarrow q$ ile $\neg q \rightarrow \neg p$ hala denktir.
- D) p ve q'nun yanlış olması: Bu çok özel bir durumdur. Eğer hem $p$ hem de $q$ yanlışsa, $p \rightarrow q$ önermesi doğru olur. Aynı şekilde, $\neg q$ doğru ve $\neg p$ doğru olacağından $\neg q \rightarrow \neg p$ önermesi de doğru olur. Bu durumda denklik sağlanır, ancak bu, yöntemin genel geçerliliği için bir koşul değil, sadece bir örnektir. Yöntemin geçerliliği, bu denkliğin tüm doğruluk değerleri kombinasyonları için geçerli olmasından kaynaklanır.
Sonuç olarak, karşıt ters yöntemiyle ispatın geçerli olmasının temel nedeni, bir önerme ile onun karşıt tersinin mantıksal olarak birbirine denk olmasıdır.
Cevap B seçeneğidir.
