🎓 Önerme nedir Test 2 - Ders Notu
Merhaba öğrenci arkadaşım! Bu ders notu, "Önerme nedir Test 2" sınavında karşına çıkabilecek temel mantık konularını, önermeleri, doğruluk değerlerini ve mantıksal bağlaçları basit ve anlaşılır bir dille özetliyor.
📌 Önerme Nedir?
Mantıkta "önerme" dediğimiz şey, doğru ya da yanlış kesin bir hüküm bildiren cümlelerdir. Ama asla ikisi birden olamaz!
- Bir cümlenin önerme olabilmesi için yargı bildirmesi ve bu yargının doğruluğu veya yanlışlığının net olması gerekir.
- Soru cümleleri, emir cümleleri, dilek cümleleri veya ünlem cümleleri önerme değildir, çünkü bir yargı bildirmezler veya doğruluk değeri taşımazlar.
- Örneğin, "Türkiye'nin başkenti Ankara'dır." bir önermedir (ve doğrudur). "Hava bugün güzel mi?" bir önerme değildir.
💡 İpucu: Bir cümlenin doğru mu yanlış mı olduğunu düşünebiliyorsan, o bir önermedir!
📌 Önermelerin Doğruluk Değeri
Bir önermenin doğru ya da yanlış olma durumuna "doğruluk değeri" denir. Doğru önermeleri 'D' veya '$1$', yanlış önermeleri ise 'Y' veya '$0$' ile gösteririz.
- Her önermenin sadece bir tane doğruluk değeri olabilir: ya doğrudur ($1$) ya da yanlıştır ($0$).
- Örneğin, "2 tek sayıdır." önermesi yanlıştır, doğruluk değeri $0$'dır. "En küçük asal sayı 2'dir." önermesi doğrudur, doğruluk değeri $1$'dir.
⚠️ Dikkat: Bir önermenin doğruluk değeri, bizim kişisel görüşümüze göre değil, genel geçer bilgilere göre belirlenir.
📌 Mantıksal Bağlaçlar
Birden fazla önermeyi birbirine bağlamak veya bir önermenin anlamını değiştirmek için mantıksal bağlaçlar kullanırız. İşte en sık kullanılanlar:
📌 1. Değili (Olumsuzu - $\neg$)
Bir önermenin değili, o önermenin tam tersi doğruluk değerine sahip olması demektir. 'Değili' sembolü $\neg$ ile gösterilir.
- Eğer bir önerme doğruysa ($1$), değili yanlıştır ($0$).
- Eğer bir önerme yanlışsa ($0$), değili doğrudur ($1$).
- Örneğin, $p$: "Bugün hava güneşlidir." ise, $\neg p$: "Bugün hava güneşli değildir." olur.
📌 2. Ve Bağlacı (Tümel Evetleme - $\land$)
"Ve" bağlacı ile bağlanan iki önerme, ancak her ikisi de doğruysa doğru olur. Diğer tüm durumlarda yanlıştır. Sembolü $\land$ şeklindedir.
- $p \land q$ önermesinin doğru ($1$) olması için hem $p$'nin hem de $q$'nun doğru ($1$) olması şarttır.
- Günlük hayatta: "Hem ders çalıştım hem de ödevimi yaptım." Cümle ancak ikisi de doğruysa doğrudur.
📌 3. Veya Bağlacı (Tikel Evetleme - $\lor$)
"Veya" bağlacı ile bağlanan iki önerme, en az biri doğru olduğunda doğru olur. Her ikisi de yanlışsa yanlış olur. Sembolü $\lor$ şeklindedir.
- $p \lor q$ önermesinin yanlış ($0$) olması için hem $p$'nin hem de $q$'nun yanlış ($0$) olması şarttır.
- Günlük hayatta: "Sinemaya gideceğim veya kitap okuyacağım." İkisinden birini yapsan da, ikisini de yapsan da cümle doğru kabul edilir.
📌 4. Ya da Bağlacı (Tikel Ayrılma - $\underline{\lor}$)
"Ya da" bağlacı, iki önermeden sadece birinin doğru olduğu durumda doğru olur. Her ikisi de doğru ya da her ikisi de yanlış ise yanlış olur. Sembolü $\underline{\lor}$ şeklindedir.
- $p \underline{\lor} q$ önermesinin doğru ($1$) olması için $p$ doğru $q$ yanlış YA DA $p$ yanlış $q$ doğru olmalıdır.
- Günlük hayatta: "Ya çay içeceğim ya da kahve içeceğim." Aynı anda ikisini de içemezsin veya ikisini de içmezsen cümle yanlış olur.
📌 5. İse Bağlacı (Koşullu Önerme - $\Rightarrow$)
"İse" bağlacı ile kurulan önerme, sadece ilk önerme doğru ($1$) iken ikinci önerme yanlış ($0$) olduğunda yanlış olur. Diğer tüm durumlarda doğrudur. Sembolü $\Rightarrow$ şeklindedir.
- $p \Rightarrow q$ önermesi, yalnızca $p=1$ ve $q=0$ iken yanlıştır ($0$).
- Bu durumu "100 kuralı" olarak aklında tutabilirsin: $1 \Rightarrow 0 \equiv 0$.
- Günlük hayatta: "Eğer yağmur yağarsa, şemsiye alırım." Yağmur yağar (doğru) ama şemsiye almazsan (yanlış), bu ifade yalan olur (yanlış).
💡 İpucu: Bir koşullu önerme ($p \Rightarrow q$), $\neg p \lor q$ önermesine denktir. Bu denklik bazen çok işine yarayabilir!
📌 6. Ancak ve Ancak Bağlacı (İki Yönlü Koşullu Önerme - $\Leftrightarrow$)
"Ancak ve ancak" bağlacı ile kurulan önerme, iki önermenin doğruluk değerleri aynı olduğunda doğru olur. Yani, ikisi de doğru ya da ikisi de yanlış olduğunda doğrudur. Sembolü $\Leftrightarrow$ şeklindedir.
- $p \Leftrightarrow q$ önermesi, $p$ ve $q$'nun doğruluk değerleri aynı ise ($p=1, q=1$ veya $p=0, q=0$) doğrudur ($1$).
- Günlük hayatta: "Bir sayı çift sayıdır ancak ve ancak 2'ye tam bölünür." Sayı hem çift hem 2'ye bölünüyorsa doğru, ikisi de değilse de doğru. Biri olup diğeri olmuyorsa yanlış.
📌 Denk Önermeler
İki veya daha fazla önermenin doğruluk değerleri tamamen aynıysa, bu önermelere "denk önermeler" denir. Denk önermeler $\equiv$ sembolü ile gösterilir.
- Örneğin, $p \land q$ önermesinin doğruluk tablosu ile $q \land p$ önermesinin doğruluk tablosu aynıdır. Bu yüzden $p \land q \equiv q \land p$ diyebiliriz.
- Denk önermeler, farklı şekillerde ifade edilseler bile mantıksal olarak aynı anlama gelirler.
📌 Totoloji ve Çelişki
Bazı bileşik önermelerin doğruluk değerleri her zaman aynı çıkar. Bunlara özel isimler veririz:
- Totoloji: Bir bileşik önerme, değişkenlerinin tüm doğruluk değerleri için daima doğru ($1$) sonuç veriyorsa, bu önermeye "totoloji" denir.
- Örneğin, $p \lor \neg p$ her zaman doğrudur. (Bir şey ya vardır ya yoktur, ortası yok.)
- Çelişki: Bir bileşik önerme, değişkenlerinin tüm doğruluk değerleri için daima yanlış ($0$) sonuç veriyorsa, bu önermeye "çelişki" denir.
- Örneğin, $p \land \neg p$ her zaman yanlıştır. (Bir şey hem var hem yok olamaz.)
⚠️ Dikkat: Bir önerme ya totolojidir ya çelişkidir ya da her ikisi de değildir (yani durumsaldır, doğruluk değeri değişkenlere göre değişir).
Bu notlar, testteki soruları çözmen için sana sağlam bir temel sağlayacaktır. Başarılar dilerim! 📝
