🎓 İse bağlacı doğruluk tablosu Test 2 - Ders Notu
Bu ders notu, "İse bağlacı doğruluk tablosu Test 2" testinde karşılaşabileceğin temel mantık konularını, özellikle de "ise" ($ \implies $) bağlacını ve doğruluk tablolarını sade bir dille özetlemektedir. Test, önermelerin doğruluk değerlerini bulma, bileşik önermeler oluşturma ve "ise" bağlacının özelliklerini anlaman üzerine odaklanacaktır.
📌 Önermeler ve Doğruluk Değerleri
Mantıkta her şeyin temeli önermelerdir. Bir önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadedir.
- Tanım: Doğru (D) ya da Yanlış (Y) değeri alabilen, fakat ikisini birden alamayan cümlelere önerme denir.
- Doğruluk Değeri: Bir önerme doğru ise doğruluk değeri 1, yanlış ise 0 olarak kabul edilir.
- Örnek: "Türkiye'nin başkenti Ankara'dır." önermesi doğru olduğu için doğruluk değeri 1'dir. "2 + 3 = 7" önermesi yanlış olduğu için doğruluk değeri 0'dır.
⚠️ Dikkat: Emir, soru, ünlem cümleleri önerme değildir, çünkü doğruluk değeri taşımazlar.
📌 Mantıksal Bağlaçlar (Kısaca)
Önermeleri birbirine bağlamak ve yeni bileşik önermeler oluşturmak için mantıksal bağlaçlar kullanılır. Testte "ise" bağlacı ön planda olsa da diğerlerini hatırlamak faydalıdır.
- Ve Bağlacı ($ \land $): "ve" ile bağlanan iki önermenin de doğru olması durumunda bileşik önerme doğru olur. Diğer durumlarda yanlıştır. ($1 \land 1 \equiv 1$)
- Veya Bağlacı ($ \lor $): "veya" ile bağlanan iki önermeden en az birinin doğru olması durumunda bileşik önerme doğru olur. İkisi de yanlışsa yanlıştır. ($0 \lor 0 \equiv 0$)
- Değil Bağlacı ($ \neg $): Bir önermenin olumsuzudur. Önermenin doğruluk değerini tersine çevirir. ($ \neg 1 \equiv 0 $, $ \neg 0 \equiv 1 $)
📌 İse (Koşullu) Bağlacı ($p \implies q$)
"İse" bağlacı, günlük hayattaki "eğer... ise..." yapısına benzer. Bir koşulun sonucunu ifade eder ve matematiksel mantıkta çok önemlidir.
- Tanım: "$p$ ise $q$" şeklinde okunan $p \implies q$ bileşik önermesi, $p$ önermesi doğruyken $q$ önermesi yanlış ise yanlış, diğer tüm durumlarda doğrudur.
- Günlük Hayattan Örnek: "Eğer hava güneşliyse ($p$), pikniğe gideriz ($q$)."
- Güneşli (D), Pikniğe gittik (D) $ \implies $ Doğru (1)
- Güneşli (D), Pikniğe gitmedik (Y) $ \implies $ Yanlış (0)
- Güneşli değil (Y), Pikniğe gittik (D) $ \implies $ Doğru (1) (Sözümüzü tutmadığımız anlamına gelmez, belki başka bir sebeple gittik)
- Güneşli değil (Y), Pikniğe gitmedik (Y) $ \implies $ Doğru (1) (Sözümüzü tutmuş sayılırız)
⚠️ Dikkat: İse bağlacının doğruluk tablosunda sadece tek bir durum yanlıştır: İlk önerme doğru (1) ve ikinci önerme yanlış (0) ise ($1 \implies 0$) sonuç yanlıştır (0). Diğer tüm durumlarda sonuç doğrudur (1).
💡 İpucu: Bu durumu "100 kuralı" olarak aklında tutabilirsin: $1 \implies 0 \equiv 0$.
📌 İse Bağlacının Denklikleri ve Özellikleri
İse bağlacı, diğer mantık bağlaçları cinsinden ifade edilebilir. Bu denklikler, karmaşık bileşik önermeleri basitleştirmek için kullanılır.
- Temel Denklik: $p \implies q \equiv \neg p \lor q$. Bu denklik, ise bağlacının en önemli özelliğidir ve testlerde sıkça kullanılır.
- Karşıtı: Bir $p \implies q$ önermesinin karşıtı, $q \implies p$ önermesidir.
- Tersi: Bir $p \implies q$ önermesinin tersi, $ \neg p \implies \neg q$ önermesidir.
- Karşıt Tersi: Bir $p \implies q$ önermesinin karşıt tersi, $ \neg q \implies \neg p$ önermesidir.
💡 İpucu: Bir önerme ile onun karşıt tersi mantıksal olarak denktir. Yani $p \implies q \equiv \neg q \implies \neg p$. Bu bilgiyi soruları çözerken kullanabilirsin!
📌 Bileşik Önermelerin Doğruluk Tabloları
Birden fazla önerme ve bağlaç içeren ifadelerin doğruluk değerini bulmak için doğruluk tabloları oluşturulur.
- Adım 1: Önerme sayısı ($n$) kadar $2^n$ satır oluşturulur. (Örn: 2 önerme ($p, q$) için $2^2 = 4$ satır.)
- Adım 2: Her bir basit önermenin (p, q, r...) tüm doğruluk değer kombinasyonları yazılır.
- Adım 3: Parantez içindeki ifadelerden başlayarak, her bir bağlacın doğruluk değeri sırayla hesaplanır.
- Adım 4: En son, tüm bileşik önermenin doğruluk değeri bulunur.
📝 Unutma: İşlem önceliği parantezler, değil ($ \neg $), ve ($ \land $), veya ($ \lor $), ise ($ \implies $), ancak ve ancak ($ \iff $) şeklindedir.
📌 Totoloji, Çelişki ve Olumsallık
Bir bileşik önermenin doğruluk tablosundaki son sütununa bakarak, o önermenin türünü belirleyebiliriz.
- Totoloji: Bir bileşik önerme, tüm doğruluk değerleri için daima doğru (1) ise, bu önermeye totoloji denir.
- Çelişki: Bir bileşik önerme, tüm doğruluk değerleri için daima yanlış (0) ise, bu önermeye çelişki denir.
- Olumsallık (Tutarılık): Bir bileşik önerme, doğruluk tablosunda hem doğru (1) hem de yanlış (0) değerler alıyorsa, bu önermeye olumsallık denir.
