🎓 Önermenin değili nedir Test 2 - Ders Notu
Bu ders notu, "Önermenin değili nedir Test 2" kapsamında karşılaşacağınız mantık konularını, özellikle önermeler, doğruluk değerleri ve önermelerin olumsuzları (değilleri) üzerine temel bilgileri sade bir dille özetlemektedir.
📌 Önerme Nedir?
Mantıkta, önerme doğru ya da yanlış kesin bir hüküm bildiren cümlelerdir. Bir cümlenin önerme olabilmesi için kişiden kişiye değişmeyen, net bir yargı ifade etmesi gerekir.
- Bir cümlenin doğru veya yanlış olması fark etmez, önemli olan bu yargının kesin olmasıdır.
- Soru, emir, dilek veya ünlem cümleleri önerme değildir çünkü kesin bir yargı bildirmezler.
- Örnek: "Güneş doğudan doğar." (Doğru bir önerme), "2 + 3 = 7." (Yanlış bir önerme).
💡 İpucu: Bir cümlenin önerme olup olmadığını anlamak için "Bu cümle doğru mu yanlış mı?" sorusunu sorun. Cevap evet veya hayır ise önermedir.
📌 Önermenin Doğruluk Değeri
Her önermenin bir doğruluk değeri vardır. Bu değer, önermenin gerçek duruma uygun olup olmadığını gösterir.
- Bir önerme doğru ise doğruluk değeri "1" veya "D" ile gösterilir.
- Bir önerme yanlış ise doğruluk değeri "0" veya "Y" ile gösterilir.
- Bir önerme aynı anda hem doğru hem de yanlış olamaz.
- Örnek: "Ankara Türkiye'nin başkentidir." önermesinin doğruluk değeri 1'dir. "Kedi bir balıktır." önermesinin doğruluk değeri 0'dır.
📌 Önermenin Değili (Olumsuzu) Nedir?
Bir önermenin değili (veya olumsuzu), o önermenin tam tersi bir yargı bildiren önermedir. Eğer orijinal önerme doğruysa, değili yanlış; orijinal önerme yanlışsa, değili doğru olur.
- "p" ile gösterilen bir önermenin değili "$p'$" veya "$\neg p$" şeklinde gösterilir.
- Bir önermenin değili, o önermenin doğruluk değerini tersine çevirir.
- Örnek: "Hava güneşlidir." (p) önermesinin değili "$p'$": "Hava güneşli değildir."
- Örnek: "2 tek sayıdır." (p) önermesinin değili "$p'$": "2 tek sayı değildir." (veya "2 çift sayıdır.").
⚠️ Dikkat: Bir önermenin değilinin değili, önermenin kendisine eşittir. Yani, $(p')' \equiv p$ veya $\neg(\neg p) \equiv p$.
📝 Değil Yapılırken Kullanılan İfadeler
Bir önermenin değilini alırken, genellikle "değildir", "olmaz", "yoktur" gibi olumsuzluk ekleri veya kelimeler kullanılır. Ancak bazı özel durumlarda dikkatli olmak gerekir.
- "Her" yerine "Bazı... değildir" veya "En az bir... değildir" kullanılır.
- "Bazı" yerine "Hiçbir... değildir" veya "Her... değildir" kullanılır.
- "Eşittir ($=$)" yerine "Eşit değildir ($\neq$)".
- "Küçüktür ($<$) " yerine "Büyük veya eşittir ($\ge$)".
- "Büyüktür ($>$) " yerine "Küçük veya eşittir ($\le$)".
- "Küçük veya eşittir ($\le$) " yerine "Büyüktür ($>$)" .
- "Büyük veya eşittir ($\ge$) " yerine "Küçüktür ($<$)" .
💡 İpucu: Matematiksel ifadelerde eşitsizliklerin değilini alırken yönü tersine çevirmeyi ve eşitliği eklemeyi (veya çıkarmayı) unutmayın.
📌 Bileşik Önermelerin Değili
Birden fazla basit önermenin bağlaçlarla birleşmesiyle oluşan önermelere bileşik önerme denir. Bu önermelerin değillerini alırken özel kurallar uygulanır.
- VE ($\land$) bağlacının değili: $(p \land q)' \equiv p' \lor q'$ (De Morgan Kuralı). Yani "ve" bağlacı "veya"ya dönüşür, her iki önermenin de değili alınır.
- VEYA ($\lor$) bağlacının değili: $(p \lor q)' \equiv p' \land q'$ (De Morgan Kuralı). Yani "veya" bağlacı "ve"ye dönüşür, her iki önermenin de değili alınır.
- İse ($\Rightarrow$) bağlacının değili: $(p \Rightarrow q)' \equiv p \land q'$. "İse" bağlacı "ve"ye dönüşür, ilk önerme aynen kalır, ikincisinin değili alınır.
- Ancak ve Ancak ($\Leftrightarrow$) bağlacının değili: Bu biraz daha karmaşıktır, genellikle $(p \Leftrightarrow q)' \equiv (p \land q') \lor (p' \land q)$ şeklinde ifade edilir.
⚠️ Dikkat: De Morgan Kuralları, özellikle "ve" ile "veya" bağlaçlarının değillerini alırken çok önemlidir. Hem bağlaç değişir hem de önermelerin değili alınır.
📝 Niceleyicili Önermelerin Değili
Niceleyiciler, bir kümenin tüm elemanları veya bazı elemanları hakkında hüküm bildiren ifadelerdir. "Her" ve "Bazı" en yaygın niceleyicilerdir.
- Evrensel Niceleyici ($\forall$ - Her): "Her x için P(x) doğrudur." önermesinin değili: "Bazı x için P(x) doğru değildir." ($\neg (\forall x, P(x)) \equiv \exists x, \neg P(x)$).
- Varlıksal Niceleyici ($\exists$ - Bazı/En az bir): "Bazı x için P(x) doğrudur." önermesinin değili: "Her x için P(x) doğru değildir." ($\neg (\exists x, P(x)) \equiv \forall x, \neg P(x)$).
💡 İpucu: Niceleyicili önermelerin değilini alırken, niceleyiciyi tersine çevirmeyi (Her $\leftrightarrow$ Bazı) ve önermenin kendisinin değilini almayı unutmayın.
