🎓 İse bağlacı (⇒) nedir Test 2 - Ders Notu
Bu ders notu, "ise" bağlacı (koşullu önerme) konusunu temelden alarak, doğruluk tablosu, özellikleri ve ilgili mantık kavramlarını sade bir dille açıklamaktadır. Bu notlar, testteki soruları çözerken size sağlam bir temel sunacaktır.
📌 Mantıkta Önerme ve Bağlaçlar
Mantık, doğru düşünmenin kurallarını inceleyen bir bilim dalıdır. Önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadelere denir.
- Önerme (p, q, r...): Doğruluk değeri (Doğru (D/1) veya Yanlış (Y/0)) alabilen ifadelerdir.
- Mantık Bağlaçları: Önermeleri birbirine bağlayarak bileşik önermeler oluşturan sembollerdir. (Ve (∧), Veya (∨), Ya da (⊻), Ancak ve Ancak (⇔), İse (⇒)).
💡 İpucu: Bir ifadenin önerme olabilmesi için kişiden kişiye değişmeyen, kesin bir yargı bildirmesi gerekir. "Bugün hava güzel" bir önerme değildir.
📌 "İse" Bağlacı (Koşullu Önerme)
"İse" bağlacı, iki önermeyi birbirine bağlayarak bir koşul ifade eder. "$p \Rightarrow q$" şeklinde gösterilir ve "p ise q" diye okunur. Genellikle "eğer p ise q" anlamını taşır.
- Tanım: Bir koşullu önermenin doğru olması için, ilk önermenin (p) doğru olduğu durumda ikinci önermenin (q) de doğru olması gerekir.
- Günlük Hayat Örneği: "Yağmur yağarsa (p), şemsiye alırım (q)." Eğer yağmur yağmazsa, şemsiye alsam da almasam da bu ifadeyi yanlış saymayız.
⚠️ Dikkat: "İse" bağlacı, sadece ilk önerme doğru iken ikinci önerme yanlış olursa yanlış olur. Diğer tüm durumlarda doğrudur.
📝 "İse" Bağlacının Doğruluk Tablosu
"İse" bağlacının doğruluk değerleri aşağıdaki tablo ile gösterilir:
- $p$: Birinci önerme
- $q$: İkinci önerme
- $p \Rightarrow q$: "p ise q" önermesi
| $p$ |
$q$ |
$p \Rightarrow q$ |
| $1$ (Doğru) |
$1$ (Doğru) |
$1$ (Doğru) |
| $1$ (Doğru) |
$0$ (Yanlış) |
$0$ (Yanlış) |
| $0$ (Yanlış) |
$1$ (Doğru) |
$1$ (Doğru) |
| $0$ (Yanlış) |
$0$ (Yanlış) |
$1$ (Doğru) |
💡 İpucu: Tablodaki tek "0" (yanlış) değeri, $p=1$ ve $q=0$ durumunda oluşur. Bunu "100 kuralı" olarak aklınızda tutabilirsiniz: $1 \Rightarrow 0 \equiv 0$.
📌 "İse" Bağlacının Özellikleri ve Denklikleri
"İse" bağlacı, diğer mantık bağlaçlarıyla bazı önemli denkliklere sahiptir. Bu denklikler, karmaşık ifadeleri sadeleştirmek için kullanılır.
- En Temel Denklik: $p \Rightarrow q \equiv p' \lor q$ (p' veya q). Bu denklik, "ise" içeren ifadeleri "veya"ya dönüştürmek için çok önemlidir.
- Karşıt Tersi Denklik: $p \Rightarrow q \equiv q' \Rightarrow p'$ (Bir önerme, karşıt tersine denktir).
- Diğer Özellikler:
- $p \Rightarrow p \equiv 1$ (Her önerme kendine işaret ederse doğru olur.)
- $p \Rightarrow 1 \equiv 1$ (Sonuç doğruysa, koşul ne olursa olsun sonuç doğrudur.)
- $0 \Rightarrow p \equiv 1$ (Koşul yanlışsa, sonuç ne olursa olsun önerme doğrudur.)
- $p \Rightarrow 0 \equiv p'$ (Sonuç yanlışsa, önermenin doğruluğu ilk önermenin tersine bağlıdır.)
⚠️ Dikkat: $p \Rightarrow q$ ile $q \Rightarrow p$ birbirine denk değildir! (Örnek: "Yağmur yağarsa yerler ıslanır" doğru, ama "Yerler ıslanırsa yağmur yağmıştır" her zaman doğru değildir.)
📌 Koşullu Önermenin Karşıtı, Tersi ve Karşıt Tersi
Bir $p \Rightarrow q$ koşullu önermesinden türetilen üç önemli önerme vardır:
- Karşıtı (Converse): Yerleri değiştirilmiş halidir. $q \Rightarrow p$
- Tersi (Inverse): Her iki önermenin de değili alınmış halidir. $p' \Rightarrow q'$
- Karşıt Tersi (Contrapositive): Hem yerleri değiştirilmiş hem de değilleri alınmış halidir. $q' \Rightarrow p'$
💡 İpucu: Bir önerme ile onun karşıt tersi daima birbirine denktir. Yani, $(p \Rightarrow q) \equiv (q' \Rightarrow p')$. Bu özellik, ispatlarda ve sadeleştirmelerde sıkça kullanılır.
📌 Mantıksal Denklik ve Sadeleştirme
Mantıksal denklik, iki önermenin doğruluk değerlerinin her durumda aynı olması demektir. Karmaşık mantık ifadelerini daha basit hallere dönüştürmek için denklikleri kullanırız.
- Sadeleştirme Adımları:
- Genellikle "ise" bağlacını $p \Rightarrow q \equiv p' \lor q$ denkliğini kullanarak "veya"ya çevirin.
- De Morgan kurallarını ($ (p \lor q)' \equiv p' \land q' $ ve $ (p \land q)' \equiv p' \lor q' $) kullanarak parantez dışındaki değilleri içeri dağıtın.
- Birleşme, değişme, dağılma, tek kuvvet, yutan eleman, birim eleman gibi özelliklerden faydalanarak ifadeyi basitleştirin.
📝 Örnek: $ (p \Rightarrow q)' $ ifadesini sadeleştirelim.
- $ (p \Rightarrow q)' \equiv (p' \lor q)' $ (İse'yi veya'ya çevirdik)
- $ (p' \lor q)' \equiv (p')' \land q' $ (De Morgan kuralı uygulandı)
- $ (p')' \land q' \equiv p \land q' $ (Değilin değili kendisidir)
- Yani, $ (p \Rightarrow q)' \equiv p \land q' $
Bu notlar, "ise" bağlacı ile ilgili temel kavramları anlamanıza ve testteki soruları daha kolay çözmenize yardımcı olacaktır. Başarılar dileriz!
