Matematikte "p ⇒ q" önermesinin karşıt tersinin "¬q ⇒ ¬p" olduğu bilinmektedir. Aşağıdaki önermelerden hangisinin karşıt tersi kendisine denk değildir?
A) Eğer hava yağmurlu ise, yerler ıslaktır
B) Eğer bir sayı asal ise, 1 ve kendisinden başka böleni yoktur
C) Eğer bir üçgen eşkenar ise, tüm açıları eşittir
D) Eğer bir hayvan kuş ise, uçabilir
Merhaba sevgili öğrenciler,
Bu soruda, mantıkta çok önemli bir kavram olan "karşıt ters" (contrapositive) ve "denklik" (equivalence) ilişkisini inceleyeceğiz. Öncelikle temel bilgiyi hatırlayalım:
- Matematiksel mantıkta, "$p \Rightarrow q$" şeklindeki bir önermenin karşıt tersi "$¬q \Rightarrow ¬p$" şeklindedir.
- En önemli kural şudur: Bir önerme ($p \Rightarrow q$) ile onun karşıt tersi ($¬q \Rightarrow ¬p$) her zaman mantıksal olarak denktir. Bu, her ikisinin de aynı doğruluk değerine sahip olduğu anlamına gelir. Yani, eğer $p \Rightarrow q$ doğruysa, $¬q \Rightarrow ¬p$ de doğrudur; eğer $p \Rightarrow q$ yanlışsa, $¬q \Rightarrow ¬p$ de yanlıştır.
Soru, "Aşağıdaki önermelerden hangisinin karşıt tersi kendisine denk değildir?" diye soruyor. Mantıksal denklik kuralına göre, bir önerme ve karşıt tersi her zaman denk olduğu için, bu ifade ilk bakışta çelişkili görünebilir. Ancak bu tür sorularda genellikle kastedilen, önermenin gerçek dünyadaki geçerliliği veya doğruluğu açısından bir farklılık olup olmadığıdır. Yani, hangi seçenekteki önerme, gerçek hayatta her zaman doğru bir ifadeyi temsil etmez ve dolayısıyla karşıt tersi de gerçek hayatta her zaman doğru bir ifadeyi temsil etmez.
Şimdi her bir seçeneği inceleyelim:
- A) Eğer hava yağmurlu ise, yerler ıslaktır
- $p$: Hava yağmurlu.
- $q$: Yerler ıslaktır.
- $p \Rightarrow q$: Eğer hava yağmurlu ise, yerler ıslaktır. (Genellikle doğru kabul edilen bir önermedir.)
- Karşıt tersi ($¬q \Rightarrow ¬p$): Eğer yerler ıslak değilse, hava yağmurlu değildir. (Bu da genellikle doğru kabul edilen bir önermedir. Eğer yerler kuruysa, yağmur yağmamıştır.)
- Bu önerme ve karşıt tersi, gerçek dünyada da genellikle doğrudur ve birbirine denktir.
- B) Eğer bir sayı asal ise, 1 ve kendisinden başka böleni yoktur
- $p$: Bir sayı asal.
- $q$: 1 ve kendisinden başka böleni yoktur.
- $p \Rightarrow q$: Eğer bir sayı asal ise, 1 ve kendisinden başka böleni yoktur. (Bu, asal sayının tanımıdır, dolayısıyla her zaman doğru bir önermedir.)
- Karşıt tersi ($¬q \Rightarrow ¬p$): Eğer bir sayının 1 ve kendisinden başka böleni varsa, o sayı asal değildir. (Bu da asal sayının tanımından gelir ve her zaman doğrudur.)
- Bu önerme ve karşıt tersi, matematiksel olarak her zaman doğrudur ve birbirine denktir.
- C) Eğer bir üçgen eşkenar ise, tüm açıları eşittir
- $p$: Bir üçgen eşkenar.
- $q$: Tüm açıları eşittir.
- $p \Rightarrow q$: Eğer bir üçgen eşkenar ise, tüm açıları eşittir. (Bu, eşkenar üçgenin bir özelliğidir ve her zaman doğru bir önermedir.)
- Karşıt tersi ($¬q \Rightarrow ¬p$): Eğer bir üçgenin tüm açıları eşit değilse, o üçgen eşkenar değildir. (Bu da doğrudur. Eğer açılar eşit değilse, kenarlar da eşit olamaz, dolayısıyla eşkenar değildir.)
- Bu önerme ve karşıt tersi, geometrik olarak her zaman doğrudur ve birbirine denktir.
- D) Eğer bir hayvan kuş ise, uçabilir
- $p$: Bir hayvan kuş.
- $q$: Uçabilir.
- $p \Rightarrow q$: Eğer bir hayvan kuş ise, uçabilir. (Bu önerme yanlıştır. Örneğin, penguenler, devekuşları veya tavuklar kuştur ama uçamazlar. Yani, $p$ doğru iken $q$ yanlış olabilir.)
- Karşıt tersi ($¬q \Rightarrow ¬p$): Eğer bir hayvan uçamıyorsa, o hayvan kuş değildir. (Bu önerme de yanlıştır. Örneğin, penguenler uçamaz ($¬q$ doğru) ama kuştur ($¬p$ yanlış). Doğru bir önermeden yanlış bir önerme çıkarıldığı için bu ifade de yanlıştır.)
- Bu durumda, hem orijinal önerme ($p \Rightarrow q$) hem de karşıt tersi ($¬q \Rightarrow ¬p$) gerçek dünyada yanlıştır. Mantıksal olarak hala birbirine denktirler (çünkü ikisi de yanlış doğruluk değerine sahiptir). Ancak, diğer seçeneklerdeki önermeler ve karşıt tersleri gerçek dünyada doğru ve geçerli ifadelerken, D seçeneğindeki önerme ve karşıt tersi gerçek dünyada doğru ve geçerli değildir. Soru, bu "gerçek dünya geçerliliği" farkını vurgulamak istemektedir.
Sonuç olarak, mantıksal denklik kuralı gereği her önerme ve karşıt tersi her zaman denktir. Ancak, bu soruda D seçeneği, diğerlerinden farklı olarak, gerçek dünyada doğru olmayan bir önermedir. Dolayısıyla, hem kendisi hem de karşıt tersi gerçek hayatta geçerli bir iddia değildir. Bu durum, diğer seçeneklerdeki doğru ve geçerli önermelerden ayrıldığı için, sorunun "denk değildir" ifadesiyle kastettiği durum budur.
Cevap D seçeneğidir.
