Bileşik önermeler nedir Test 2

🎓 Bileşik önermeler nedir Test 2 - Ders Notu

Bu ders notu, "Bileşik önermeler nedir Test 2" testinde karşılaşabileceğin temel mantık konularını, özellikle bileşik önermelerin yapısını, bağlaçlarını, doğruluk değerlerini ve özel durumlarını sade bir dille açıklamak için hazırlandı. Konuları iyi anlayarak testte başarılı olabilirsin!

📌 Önerme ve Bileşik Önerme Nedir?

Mantıkta, bir yargı bildiren ve doğru ya da yanlış kesin bir doğruluk değeri olan ifadelere "önerme" deriz.

• Önerme: Doğru (D) ya da Yanlış (Y) olabilen, kesin bir hüküm bildiren cümlelerdir. Örneğin, "Ankara Türkiye'nin başkentidir" (D) veya "2+2=5" (Y).
• Bileşik Önerme: İki veya daha fazla basit önermenin mantıksal bağlaçlarla birleştirilmesiyle oluşan önermelerdir. Örneğin, "Hava güneşli ve sıcaklık 25 derecedir."

💡 İpucu: Emir, soru, ünlem cümleleri veya öznel yargılar önerme değildir çünkü doğruluk değeri atanamaz. "Kapıyı kapat!" veya "Ne kadar güzelsin!" bir önerme değildir.

📌 Temel Mantık Bağlaçları ve Doğruluk Tabloları

Bileşik önermeler oluşturmak için kullanılan ana bağlaçlar ve bunların doğruluk değerlerini gösteren tablolar (doğruluk tabloları) mantığın temelini oluşturur. Her bağlacın kendine özgü bir doğruluk kuralı vardır.

Değilleme (Olumsuzlama): $\sim$ veya $\neg$

Bir önermenin zıt doğruluk değerini ifade eder. Bir önermenin değilini almak, o önermenin olumsuzunu kurmaktır.

• $p$ önermesi doğruysa, $\sim p$ yanlıştır.
• $p$ önermesi yanlışsa, $\sim p$ doğrudur.

📝 Örnek: $p$: "Bugün hava güzel." $\sim p$: "Bugün hava güzel değildir."

Ve Bağlacı (Tümel Evetleme): $\land$

İki önermenin de doğru olması durumunda bileşik önermeyi doğru yapar, diğer tüm durumlarda yanlıştır. Her iki şartın da aynı anda gerçekleşmesi gerekir.

• $p \land q$ önermesi sadece $p$ ve $q$ ikisi de doğru iken doğrudur.

📝 Örnek: "Ayşe ders çalıştı ve sınavdan yüksek not aldı." (Ayşe ders çalıştıysa VE yüksek not aldıysa önerme doğru olur. Biri bile olmazsa yanlış.)

Veya Bağlacı (Tikel Evetleme): $\lor$

İki önermeden en az birinin doğru olması durumunda bileşik önermeyi doğru yapar. Sadece ikisi de yanlış olduğunda yanlıştır. Şartlardan birinin veya ikisinin birden gerçekleşmesi yeterlidir.

• $p \lor q$ önermesi, $p$ veya $q$'dan en az biri doğru olduğunda doğrudur.

📝 Örnek: "Sinemaya gideceğiz veya evde film izleyeceğiz." (Sinemaya gitsek de, evde film izlesek de, hatta ikisini de yapsak bile önerme doğru olur. Sadece ikisini de yapmazsak yanlış.)

Ya da Bağlacı (Tikel Değilleme): $\underline{\lor}$

İki önermeden sadece birinin doğru olması durumunda bileşik önermeyi doğru yapar. İkisi de doğru veya ikisi de yanlış olduğunda yanlıştır. Seçeneklerden sadece birinin gerçekleşmesini ifade eder.

• $p \underline{\lor} q$ önermesi, $p$ ve $q$'dan sadece biri doğru iken doğrudur.

📝 Örnek: "Ya çay içeceğim ya da kahve içeceğim." (Sadece çay içersem doğru, sadece kahve içersem doğru. İkisini birden içersem veya ikisini de içmezsem yanlış.)

İse Bağlacı (Koşullu Önerme): $\implies$

Birinci önermenin doğru, ikinci önermenin yanlış olduğu tek durum dışında her zaman doğrudur. "Eğer ... ise ..." şeklinde ifade edilir.

• $p \implies q$ önermesi, $p$ doğru ve $q$ yanlış olduğunda yanlıştır. Diğer tüm durumlarda doğrudur.

📝 Örnek: "Yağmur yağarsa o zaman şemsiye alırım." (Yağmur yağar ama şemsiye almazsam yalan söylemiş olurum, yani önerme yanlış olur. Diğer tüm durumlar (yağmur yağmazsa, yağmur yağar ve şemsiye alırsam) doğru kabul edilir.)

⚠️ Dikkat: $p \implies q$ önermesi, $p$ (ilk kısım) yanlış olduğunda her zaman doğrudur. Örneğin, "Eğer dünya düz ise, ben uçabilirim." Dünya düz olmadığı için (ilk kısım yanlış), bu önerme mantıksal olarak doğru kabul edilir, ikinci kısmın ne olduğu önemli değildir.

Ancak ve Ancak Bağlacı (Çift Koşullu Önerme): $\iff$

İki önermenin de aynı doğruluk değerine sahip olması durumunda bileşik önermeyi doğru yapar. Farklı doğruluk değerlerine sahipse yanlıştır. "Ancak ve ancak" iki yönlü bir koşul ifade eder.

• $p \iff q$ önermesi, $p$ ve $q$ ikisi de doğru veya ikisi de yanlış iken doğrudur.

📝 Örnek: "Hava güneşli ancak ve ancak sıcaklık 25 derecedir." (Hem hava güneşli hem sıcaklık 25 ise doğru. Ne hava güneşli ne de sıcaklık 25 değilse de doğru. Biri olup diğeri olmazsa yanlış.)

📌 Totoloji, Çelişki ve Olumsallık

Bileşik önermelerin doğruluk tablolarına bakarak onların genel özelliklerini belirleyebiliriz. Bu özellikler, önermelerin her zaman doğru mu, her zaman yanlış mı yoksa duruma göre değişen bir doğruluk değeri mi olduğunu gösterir.

• Totoloji: Bir bileşik önermenin doğruluk tablosundaki tüm sonuçlar "Doğru (D)" ise, bu önermeye totoloji denir. (Her zaman doğru olan önerme)
• Çelişki: Bir bileşik önermenin doğruluk tablosundaki tüm sonuçlar "Yanlış (Y)" ise, bu önermeye çelişki denir. (Her zaman yanlış olan önerme)
• Olumsallık (Tutarlılık): Bir bileşik önermenin doğruluk tablosunda hem "Doğru (D)" hem de "Yanlış (Y)" sonuçları varsa, bu önermeye olumsallık denir. (Duruma göre doğru veya yanlış olabilen önerme)

💡 İpucu: Bir önermenin totoloji, çelişki veya olumsallık olup olmadığını anlamak için tüm olası durumları içeren doğruluk tablosunu oluşturmak en güvenilir yoldur.

📌 Denk Önermeler ve De Morgan Kuralları

İki önermenin aynı doğruluk tablosuna sahip olması, onların denk olduğunu gösterir. Bazı özel denklikler, önermeleri basitleştirmede ve işlemlerde çok işimize yarar.

• Denk Önermeler: $p$ ve $q$ önermelerinin doğruluk değerleri her durumda aynı ise, bu önermeler denktir ve $p \equiv q$ şeklinde gösterilir.
• De Morgan Kuralları: Bileşik önermelerin değillerini alırken kullanılan önemli kurallardır. Bu kurallar, "ve" ile "veya" bağlaçlarının değillerini nasıl alacağımızı gösterir.
• $\sim(p \land q) \equiv (\sim p \lor \sim q)$ (Değili içeri dağıtırken "ve" "veya"ya dönüşür.)
• $\sim(p \lor q) \equiv (\sim p \land \sim q)$ (Değili içeri dağıtırken "veya" "ve"ye dönüşür.)

📝 Örnek: "Hem ders çalışmadım hem de sınavdan geçemedim" cümlesinin değili, "Ders çalıştım veya sınavdan geçtim" cümlesine denktir. ($\sim( \text{ders çalışmadım} \land \text{sınavdan geçemedim}) \equiv (\text{ders çalıştım} \lor \text{sınavdan geçtim})$)

⚠️ Dikkat: De Morgan kuralları, "ve"yi "veya"ya, "veya"yı "ve"ye çevirirken, aynı zamanda her bir önermenin de değilini almayı gerektirir. Unutma: değilleme hem bağlacı hem de önermeleri etkiler!

📌 Koşullu Önermenin Karşıtı, Tersi, Karşıt Tersi

$p \implies q$ şeklindeki bir koşullu önermenin türevleri de önemlidir ve bazen birbirine denk olabilirler. Bu kavramlar, mantıksal çıkarımlarda ve ispatlarda karşımıza çıkar.

• Karşıtı: $q \implies p$ (Önermelerin yerleri değişir.)
• Tersi: $\sim p \implies \sim q$ (Her iki önermenin de değili alınır, yerleri değişmez.)
• Karşıt Tersi: $\sim q \implies \sim p$ (Hem önermelerin yerleri değişir hem de değilleri alınır.)

💡 İpucu: Bir koşullu önerme $(p \implies q)$, her zaman kendi karşıt tersine $(\sim q \implies \sim p)$ denktir. Bu, mantıkta çok güçlü ve ispatlarda sıkça kullanılan bir özelliktir. Örneğin, "Yağmur yağarsa yerler ıslanır" önermesi ile "Yerler ıslanmamışsa yağmur yağmamıştır" önermesi denktir.