Bir önermenin karşıtı nedir Test 2

Matematikte "p → q" şeklindeki bir koşullu önermenin karşıtı aşağıdakilerden hangisidir?

A) q → p
B) ¬p → ¬q
C) ¬q → ¬p
D) p ∧ q

Sevgili öğrenciler, matematiksel mantıkta önermeler ve bu önermeler arasındaki ilişkiler çok önemlidir. Şimdi, "$p \rightarrow q$" şeklindeki bir koşullu önermenin karşıtını adım adım inceleyelim.

• 1. Koşullu Önerme (İse Önermesi) Nedir?

  Bir koşullu önerme, iki önermenin "ise" bağlacı ile bağlanmasıyla oluşur. "$p \rightarrow q$" şeklinde gösterilir ve "Eğer $p$ ise $q$" veya "$p$ gerektirir $q$" şeklinde okunur. Burada $p$ önermesine "hipotez" (öncül), $q$ önermesine ise "hüküm" (sonuç) denir.

• 2. Bir Koşullu Önermenin Karşıtı Nedir?

  Bir koşullu önermenin karşıtı (converse), hipotez ile hükmün yer değiştirmesiyle elde edilen yeni önermedir. Yani, "$p \rightarrow q$" önermesinin karşıtı, hükmün hipotez, hipotezin ise hüküm yapılmasıyla oluşur.

  • Eğer orijinal önermemiz "$p \rightarrow q$" ise,
  • Bu önermenin karşıtı "$q \rightarrow p$" olur.

  Bu, "Eğer $q$ ise $p$" anlamına gelir.

• 3. Seçenekleri İnceleyelim:

  Şimdi verilen seçenekleri, "$p \rightarrow q$" önermesinin karşıtı tanımına göre değerlendirelim:

  • A) $q \rightarrow p$: Bu seçenek, orijinal önermedeki hipotez ($p$) ile hükmün ($q$) yer değiştirmiş halidir. Tanımımıza göre bu, koşullu önermenin karşıtıdır.
  • B) $\neg p \rightarrow \neg q$: Bu ifade, orijinal önermenin "tersi" (inverse) olarak adlandırılır. Hipotez ve hükmün değillerinin alınmasıyla elde edilir.
  • C) $\neg q \rightarrow \neg p$: Bu ifade, orijinal önermenin "karşıt tersi" (contrapositive) olarak adlandırılır. Hem hipotez ve hükmün yerleri değişmiş hem de değilleri alınmıştır. Karşıt tersi, orijinal önermeye denktir.
  • D) $p \wedge q$: Bu ifade, "$p$ ve $q$" anlamına gelen bir "birleşim" (conjunction) önermesidir. Koşullu önermenin karşıtı ile bir ilgisi yoktur.

Yukarıdaki açıklamalara göre, "$p \rightarrow q$" şeklindeki bir koşullu önermenin karşıtı, hipotez ve hükmün yer değiştirmesiyle oluşan "$q \rightarrow p$" önermesidir.

Cevap A seçeneğidir.