Klasik mantık test çöz AYT Test 2

"Hiçbir gezegen canlı değildir." önermesinin karşıtı (contrapositive) aşağıdakilerden hangisidir?

A) Bazı gezegenler canlıdır.
B) Canlı olan hiçbir şey gezegen değildir.
C) Canlı olan bazı şeyler gezegen değildir.
D) Tüm canlılar gezegendir.

Mantıkta önemli bir kavram olan "karşıt ters" (contrapositive) konusunu bu soru üzerinden adım adım inceleyelim. Bir önermenin karşıt tersini bulmak için belirli kuralları uygulamamız gerekir.

• 1. Orijinal Önermeyi Belirleyelim:

  Verilen önerme: "Hiçbir gezegen canlı değildir."

  Bu önermeyi koşullu bir ifade olarak yeniden düzenleyebiliriz: "Eğer bir şey gezegense, o şey canlı değildir."

  Burada:

  P önermesi: "Bir şey gezegendir."

  Q önermesi: "Bir şey canlıdır."

  Dolayısıyla, orijinal önermemiz mantıksal olarak $P \rightarrow \neg Q$ (Eğer P ise, Q değildir) şeklinde ifade edilebilir.

• 2. Karşıt Ters (Contrapositive) Kuralını Hatırlayalım:

  Bir $P \rightarrow Q$ şeklindeki koşullu önermenin karşıt tersi, $\neg Q \rightarrow \neg P$ şeklindedir.

  Bu kurala göre, hem önermenin bileşenlerinin yerini değiştiririz hem de her bir bileşenin olumsuzunu (değilini) alırız.

• 3. Orijinal Önermemize Kuralı Uygulayalım:

  Bizim orijinal önermemiz $P \rightarrow \neg Q$ idi.

  Bu önermenin karşıt tersini bulmak için:

  Öncelikle bileşenlerin yerini değiştiririz: $\neg Q$ ve $P$. Bu bize $\neg Q \rightarrow P$ yapısını verir.

  Ardından, her bir bileşenin olumsuzunu (değilini) alırız: $\neg (\neg Q)$ ve $\neg P$.

  Bu durumda, karşıt ters önermemiz $\neg (\neg Q) \rightarrow \neg P$ olur.

  Mantıkta, bir ifadenin değilinin değili kendisidir ($\neg (\neg Q) \equiv Q$).

  Bu sadeleştirmeyle, karşıt ters önermemiz $Q \rightarrow \neg P$ şeklini alır.

• 4. Karşıt Ters Önermeyi Tekrar Cümleye Çevirelim:

  $Q \rightarrow \neg P$ ifadesini Türkçe'ye çevirelim:

  Q önermesi: "Bir şey canlıdır."

  $\neg P$ önermesi: "Bir şey gezegen değildir."

  Yani, "Eğer bir şey canlıysa, o şey gezegen değildir."

  Bu ifadeyi daha anlaşılır bir şekilde "Canlı olan hiçbir şey gezegen değildir." veya "Tüm canlılar gezegen değildir." şeklinde söyleyebiliriz.

• 5. Seçenekleri İnceleyelim:

  Şimdi bulduğumuz karşıt ters önermeyi seçeneklerle karşılaştıralım:

  A) Bazı gezegenler canlıdır. (Bu, orijinal önermenin çelişiğidir, yani doğruluk değeri zıttıdır.)

  B) Canlı olan hiçbir şey gezegen değildir. (Bu, bizim bulduğumuz karşıt ters önermeyle tamamen aynıdır.)

  C) Canlı olan bazı şeyler gezegen değildir. (Bu, genel bir ifade olup karşıt ters değildir.)

  D) Tüm canlılar gezegendir. (Bu, orijinal önermenin tersinin değili veya başka bir mantıksal ilişkidir, karşıt ters değildir.)

Gördüğünüz gibi, adım adım ilerlediğimizde doğru cevaba ulaşıyoruz. Mantık kurallarını doğru uygulamak, bu tür soruları çözmenin anahtarıdır.

Cevap B seçeneğidir.