Bir önermenin karşıt tersinin doğruluk değeri ile ilgili aşağıdakilerden hangisi doğrudur?
A) Her zaman önermenin tersi ile aynıdır
B) Her zaman önermenin karşıtı ile aynıdır
C) Her zaman orijinal önerme ile aynıdır
D) Hiçbir zaman orijinal önerme ile aynı değildir
Merhaba sevgili öğrenciler,
Bu soruda, bir önermenin "karşıt tersi" kavramını ve bunun orijinal önerme ile doğruluk değeri arasındaki ilişkiyi anlamamız isteniyor. Adım adım inceleyelim:
- 1. Önerme Nedir?
- Mantıkta önerme, doğru ya da yanlış kesin bir hüküm bildiren cümlelerdir. Genellikle $p$, $q$, $r$ gibi harflerle gösterilir.
- Bu soruda genellikle $p \implies q$ (p ise q) şeklindeki koşullu önermelerden bahsedilir. Burada $p$ hipotez (varsayım), $q$ ise sonuçtur.
- 2. Bir Koşullu Önermenin ($p \implies q$) Türevleri Nelerdir?
- Bir $p \implies q$ önermesinin üç önemli türevi vardır:
- Tersi (Inverse): Hipotez ve sonucun değillerini alarak elde edilir. Yani $\neg p \implies \neg q$ (p değil ise q değil).
- Karşıtı (Converse): Hipotez ile sonucun yerini değiştirerek elde edilir. Yani $q \implies p$ (q ise p).
- Karşıt Tersi (Contrapositive): Hem hipotez ile sonucun yerini değiştirip hem de değillerini alarak elde edilir. Yani $\neg q \implies \neg p$ (q değil ise p değil).
- 3. Karşıt Tersi ile Orijinal Önermenin Doğruluk Değerleri Arasındaki İlişki:
- Matematiksel mantıkta, bir koşullu önerme ($p \implies q$) ile onun karşıt tersi ($\neg q \implies \neg p$) mantıksal olarak denktir.
- Mantıksal denklik, bu iki önermenin her zaman aynı doğruluk değerine sahip olduğu anlamına gelir. Yani, $p \implies q$ doğru ise $\neg q \implies \neg p$ de doğrudur; $p \implies q$ yanlış ise $\neg q \implies \neg p$ de yanlıştır.
- Bu, her iki önermenin de aynı koşullar altında doğru veya yanlış olduğu anlamına gelir.
- 4. Seçenekleri Değerlendirelim:
- A) Her zaman önermenin tersi ile aynıdır: $p \implies q$ ile $\neg p \implies \neg q$ her zaman aynı doğruluk değerine sahip değildir. Örneğin, $p$ doğru, $q$ yanlış ise $p \implies q$ yanlış olurken, $\neg p \implies \neg q$ doğru olur.
- B) Her zaman önermenin karşıtı ile aynıdır: $p \implies q$ ile $q \implies p$ her zaman aynı doğruluk değerine sahip değildir. Örneğin, "Yağmur yağarsa yerler ıslanır" önermesi genellikle doğru kabul edilirken, "Yerler ıslanırsa yağmur yağar" önermesi (yerler başka bir nedenle de ıslanmış olabileceği için) her zaman doğru değildir.
- C) Her zaman orijinal önerme ile aynıdır: Yukarıda açıkladığımız gibi, $p \implies q$ ile $\neg q \implies \neg p$ mantıksal olarak denktir ve bu nedenle doğruluk değerleri her zaman aynıdır.
- D) Hiçbir zaman orijinal önerme ile aynı değildir: Bu ifade yanlıştır, çünkü karşıt tersi ile orijinal önerme her zaman aynı doğruluk değerine sahiptir.
Bu açıklamalar ışığında, bir önermenin karşıt tersinin doğruluk değeri her zaman orijinal önerme ile aynıdır.
Cevap C seçeneğidir.
