Bir önermenin karşıtı nedir Test 2

🎓 Bir önermenin karşıtı nedir Test 2 - Ders Notu

Merhaba sevgili öğrenciler! Bu ders notu, "Bir önermenin karşıtı nedir Test 2" sınavında karşılaşabileceğiniz mantık konularını anlamanıza yardımcı olacak temel bilgileri içeriyor. Önermeler, değilleri, koşullu önermeler ve bunların karşıtı, tersi ve karşıt tersi gibi kavramlara odaklanacağız.

📌 Önerme Nedir?

Mantıkta "önerme", doğru ya da yanlış kesin bir hüküm bildiren cümlelere denir. Bir cümlenin önerme olabilmesi için aynı anda hem doğru hem de yanlış olmaması gerekir.

• 📝 Bir önerme ya doğru (D) ya da yanlıştır (Y).
• 📝 Soru cümleleri, emir cümleleri, dilek ve ünlem cümleleri önerme değildir.
• 💡 İpucu: Önermeleri genellikle $p, q, r$ gibi küçük harflerle gösteririz.

Örnek:

• "$2+3=5$" bir önermedir (Doğru).
• "Türkiye'nin başkenti İzmir'dir." bir önermedir (Yanlış).
• "Bugün hava nasıl?" bir önerme değildir (Soru cümlesi).

📌 Önermenin Değili (Olumsuzu) Nedir?

Bir önermenin değili (olumsuzu), o önermenin doğruluk değerini değiştiren yeni bir önermedir. Yani doğru bir önermenin değili yanlış, yanlış bir önermenin değili ise doğrudur.

• 📝 $p$ önermesinin değili $p'$ veya $\neg p$ ile gösterilir.
• 📝 Bir önermenin değilinin değili, önermenin kendisine denktir: $(p')' \equiv p$.
• 💡 İpucu: Bir önermenin değilini alırken genellikle "değildir", "yoktur", "olmaz" gibi ifadeler kullanılır. Sayısal ifadelerde ise eşitsizlik yön değiştirir ve eşitlik bozulur (veya tam tersi).

Örnek:

• $p$: "Ay bir gezegendir." (Yanlış)
• $p'$: "Ay bir gezegen değildir." (Doğru)
• $q$: "$x = 5$"
• $q'$: "$x \neq 5$"
• $r$: "$y > 7$"
• $r'$: "$y \le 7$"

📌 Koşullu Önerme Nedir? ($p \Rightarrow q$)

Koşullu önerme, iki önermenin "Eğer... ise..." kalıbıyla birleştirilmesiyle oluşur. Genellikle $p \Rightarrow q$ şeklinde gösterilir ve "Eğer $p$ ise $q$" veya "$p$ gerektirir $q$" diye okunur.

• 📝 $p$ önermesine hipotez (öncül), $q$ önermesine hüküm (sonuç) denir.
• 📝 Bir koşullu önerme sadece $p$ doğru ve $q$ yanlış olduğunda yanlış olur. Diğer tüm durumlarda doğrudur.

Örnek:

• "Eğer yağmur yağarsa, yerler ıslanır." ($p \Rightarrow q$)
• "Eğer $x=2$ ise $x^2=4$ olur." ($p \Rightarrow q$)

📌 Koşullu Önermenin Çeşitleri: Karşıtı, Tersi ve Karşıt Tersi

Bir koşullu önermenin ($p \Rightarrow q$) farklı formları vardır ve bu formlar arasındaki ilişkileri bilmek çok önemlidir.

📌 1. Koşullu Önermenin Karşıtı ($q \Rightarrow p$)

Bir koşullu önermenin karşıtı, hipotez ve hükmün yer değiştirmesiyle elde edilir.

• 📝 $p \Rightarrow q$ önermesinin karşıtı $q \Rightarrow p$ şeklindedir.
• ⚠️ Dikkat: Bir önerme ile karşıtı her zaman birbirine denk (aynı doğruluk değerine sahip) olmak zorunda değildir.

Örnek:

• Ana Önerme ($p \Rightarrow q$): "Eğer bir hayvan kedi ise, dört ayaklıdır." (Doğru)
• Karşıtı ($q \Rightarrow p$): "Eğer bir hayvan dört ayaklı ise, kedidir." (Yanlış - Köpek de dört ayaklı olabilir.)

📌 2. Koşullu Önermenin Tersi ($p' \Rightarrow q'$)

Bir koşullu önermenin tersi, hem hipotezin hem de hükmün değilinin alınmasıyla elde edilir.

• 📝 $p \Rightarrow q$ önermesinin tersi $p' \Rightarrow q'$ şeklindedir.
• ⚠️ Dikkat: Bir önerme ile tersi de her zaman birbirine denk olmak zorunda değildir. Ancak, bir önermenin tersi ile karşıtı birbirine denktir. Yani $(p' \Rightarrow q') \equiv (q \Rightarrow p)$.

Örnek:

• Ana Önerme ($p \Rightarrow q$): "Eğer bir hayvan kedi ise, dört ayaklıdır."
• Tersi ($p' \Rightarrow q'$): "Eğer bir hayvan kedi değilse, dört ayaklı değildir." (Yanlış - Köpek kedi değildir ama dört ayaklıdır.)

📌 3. Koşullu Önermenin Karşıt Tersi ($q' \Rightarrow p'$)

Bir koşullu önermenin karşıt tersi, hem karşıtının hem de tersinin özelliklerini birleştirir. Yani, hipotez ve hüküm yer değiştirir ve her ikisinin de değili alınır.

• 📝 $p \Rightarrow q$ önermesinin karşıt tersi $q' \Rightarrow p'$ şeklindedir.
• 💡 İpucu: Bir koşullu önerme ile onun karşıt tersi her zaman birbirine denktir! Yani $(p \Rightarrow q) \equiv (q' \Rightarrow p')$. Bu, mantıktaki en önemli denkliklerden biridir ve ispatlarda sıkça kullanılır.

Örnek:

• Ana Önerme ($p \Rightarrow q$): "Eğer bir sayı çift ise, $2$'ye tam bölünür." (Doğru)
• Karşıt Tersi ($q' \Rightarrow p'$): "Eğer bir sayı $2$'ye tam bölünmüyorsa, çift değildir." (Doğru)

📌 Denk Önermeler ($p \equiv q$)

İki önerme, doğruluk değerleri her zaman aynı ise birbirine denktir denir. Denk önermeler $\equiv$ sembolü ile gösterilir.

• 📝 Yukarıda da belirttiğimiz gibi, bir koşullu önerme ile onun karşıt tersi her zaman denktir: $(p \Rightarrow q) \equiv (q' \Rightarrow p')$.
• 📝 Ayrıca, bir koşullu önerme ile tersinin karşıtı da denktir: $(p \Rightarrow q) \equiv (p' \Rightarrow q')$'nin karşıtı olan $(q' \Rightarrow p')$.
• 💡 İpucu: Denk önermeler, bir ifadeyi anlamak veya ispatlamak için farklı bir yolla ifade etmemizi sağlar.

Umarım bu ders notları, "Bir önermenin karşıtı nedir Test 2" sınavına hazırlanırken size yardımcı olur. Başarılar dilerim!