🎓 Doğruluk değeri nedir Test 1 - Ders Notu
Sevgili öğrenciler, bu ders notu "Doğruluk değeri nedir Test 1" sınavında karşılaşacağınız temel mantık konularını, yani önermeleri, doğruluk değerlerini ve bileşik önermeleri sade bir dille özetlemektedir. Hazırsanız başlayalım!
📌 Önerme Nedir?
Mantıkta "önerme", doğru ya da yanlış kesin bir hüküm bildiren cümlelere verilen isimdir. Her önermenin sadece bir doğruluk değeri vardır.
- Bir cümlenin önerme olabilmesi için yargı bildirmesi ve bu yargının doğru mu yanlış mı olduğunun kesin olarak belirlenebilmesi gerekir.
- Soru, ünlem, emir veya dilek cümleleri önerme değildir, çünkü doğru veya yanlış diye bir değer almazlar.
- Önermeler genellikle $p, q, r, s$ gibi küçük harflerle gösterilir.
Örnekler:
- "Ankara, Türkiye'nin başkentidir." (Doğru bir önerme)
- "2 + 3 = 7." (Yanlış bir önerme)
- "Bugün hava güzel mi?" (Soru cümlesi, önerme değil)
💡 İpucu: Bir önermenin doğruluk değeri doğru ise $1$ ile, yanlış ise $0$ ile gösterilir.
📌 Bir Önermenin Değili (Olumsuzu)
Bir önermenin değili (olumsuzu), o önermenin tam tersi anlamı ifade eden önermedir. Bir önerme doğruysa değili yanlış, yanlışsa değili doğrudur.
- $p$ önermesinin değili $\neg p$ (p'nin değili) veya $p'$ şeklinde gösterilir.
- Eğer $p$ önermesinin doğruluk değeri $1$ (doğru) ise, $\neg p$ önermesinin doğruluk değeri $0$ (yanlış) olur.
- Eğer $p$ önermesinin doğruluk değeri $0$ (yanlış) ise, $\neg p$ önermesinin doğruluk değeri $1$ (doğru) olur.
Örnek:
- $p$: "Türkiye'nin başkenti İstanbul'dur." ($p \equiv 0$)
- $\neg p$: "Türkiye'nin başkenti İstanbul değildir." ($\neg p \equiv 1$)
⚠️ Dikkat: Bir önermenin değilinin değili, yine o önermenin kendisine denktir. Yani, $\neg(\neg p) \equiv p$.
📌 Bileşik Önermeler
İki veya daha fazla önermenin mantık bağlaçları kullanılarak birleştirilmesiyle oluşan yeni önermelere "bileşik önerme" denir.
📝 Ve ($\land$) Bağlacı (Konjonksiyon)
"Ve" bağlacı ile oluşturulan bileşik önerme, her iki önerme de doğru olduğunda doğru, diğer tüm durumlarda yanlıştır.
- Gösterimi: $p \land q$ (p ve q)
- Günlük hayattaki "ve" kelimesine benzer.
Doğruluk Tablosu:
- $1 \land 1 \equiv 1$
- $1 \land 0 \equiv 0$
- $0 \land 1 \equiv 0$
- $0 \land 0 \equiv 0$
💡 İpucu: "Ve" bağlacını, bir çarpma işlemi gibi düşünebilirsin. Sadece $1 \times 1 = 1$ olur, diğer tüm çarpmalar $0$ verir.
📝 Veya ($\lor$) Bağlacı (Disjonksiyon)
"Veya" bağlacı ile oluşturulan bileşik önerme, en az bir önerme doğru olduğunda doğru, her iki önerme de yanlış olduğunda yanlıştır.
- Gösterimi: $p \lor q$ (p veya q)
- Günlük hayattaki "veya" kelimesine benzer.
Doğruluk Tablosu:
- $1 \lor 1 \equiv 1$
- $1 \lor 0 \equiv 1$
- $0 \lor 1 \equiv 1$
- $0 \lor 0 \equiv 0$
💡 İpucu: "Veya" bağlacını, bir toplama işlemi gibi düşünebilirsin. Sadece $0 + 0 = 0$ olur, diğer tüm toplamalar $1$ verir (mantıkta $1+1=1$).
📝 Ya da ($\underline{\lor}$) Bağlacı (Özel Veya)
"Ya da" bağlacı ile oluşturulan bileşik önerme, önermelerden sadece biri doğru olduğunda doğru, diğer durumlarda yanlıştır (yani ikisi de doğru veya ikisi de yanlış ise yanlış).
- Gösterimi: $p \underline{\lor} q$ (p ya da q)
- Günlük hayattaki "ya ... ya da ..." ifadesine benzer.
Doğruluk Tablosu:
- $1 \underline{\lor} 1 \equiv 0$
- $1 \underline{\lor} 0 \equiv 1$
- $0 \underline{\lor} 1 \equiv 1$
- $0 \underline{\lor} 0 \equiv 0$
⚠️ Dikkat: "Veya" bağlacından farkı, her iki önermenin de aynı anda doğru olamayacağı durumları ifade etmesidir.
📝 İse ($\Rightarrow$) Bağlacı (Koşullu Önerme)
"İse" bağlacı ile oluşturulan bileşik önerme, sadece ilk önerme doğru, ikinci önerme yanlışken yanlış olur. Diğer tüm durumlarda doğrudur.
- Gösterimi: $p \Rightarrow q$ (p ise q)
- "Eğer p ise q" şeklinde okunur.
Doğruluk Tablosu:
- $1 \Rightarrow 1 \equiv 1$
- $1 \Rightarrow 0 \equiv 0$
- $0 \Rightarrow 1 \equiv 1$
- $0 \Rightarrow 0 \equiv 1$
💡 İpucu: "100 kuralı" olarak hatırla: Sadece $1 \Rightarrow 0$ durumu $0$'dır. Diğer tüm durumlar $1$'dir. Ayrıca, $(p \Rightarrow q) \equiv (\neg p \lor q)$ denkleğini unutma!
📝 Ancak ve Ancak ($\Leftrightarrow$) Bağlacı (İki Yönlü Koşullu Önerme)
"Ancak ve ancak" bağlacı ile oluşturulan bileşik önerme, iki önermenin doğruluk değerleri aynı olduğunda doğru, farklı olduğunda yanlıştır.
- Gösterimi: $p \Leftrightarrow q$ (p ancak ve ancak q)
- "p gerektirir ve gerektirilir q" şeklinde de düşünülebilir.
Doğruluk Tablosu:
- $1 \Leftrightarrow 1 \equiv 1$
- $1 \Leftrightarrow 0 \equiv 0$
- $0 \Leftrightarrow 1 \equiv 0$
- $0 \Leftrightarrow 0 \equiv 1$
💡 İpucu: İki önermenin doğruluk değerleri "eşit" ise sonuç $1$, "farklı" ise sonuç $0$ olarak düşünülebilir. Ayrıca, $(p \Leftrightarrow q) \equiv ((p \Rightarrow q) \land (q \Rightarrow p))$ denkleğini unutma!
📌 Denk Önermeler
Doğruluk değerleri aynı olan iki önermeye "denk önermeler" denir.
- $p$ ve $q$ önermeleri denk ise $p \equiv q$ şeklinde gösterilir.
- Denk önermeler, mantıksal olarak birbirinin yerine kullanılabilir.
📌 Totoloji ve Çelişki
Bir bileşik önermenin tüm olası doğruluk durumları incelendiğinde çıkan sonuca göre iki özel durum vardır:
- Totoloji: Bir bileşik önerme, her zaman doğru (doğruluk değeri daima $1$) ise bu önermeye "totoloji" denir.
- Çelişki: Bir bileşik önerme, her zaman yanlış (doğruluk değeri daima $0$) ise bu önermeye "çelişki" denir.
⚠️ Dikkat: Bir önerme hem totoloji hem de çelişki olamaz. Ya totolojidir ya da değildir; ya çelişkidir ya da değildir.
📌 Niceleyiciler (Quantifiers)
Mantıkta, bir ifadenin belirli bir kümedeki tüm elemanlar için mi yoksa sadece bazı elemanlar için mi geçerli olduğunu belirtmek için niceleyiciler kullanılır.
- Evrensel Niceleyici ($\forall$): "Her", "bütün", "tüm" anlamlarına gelir. Bir ifadenin kümedeki her eleman için geçerli olduğunu belirtir.
- Varlıksal Niceleyici ($\exists$): "Bazı", "en az bir", "kimileri" anlamlarına gelir. Bir ifadenin kümedeki en az bir eleman için geçerli olduğunu belirtir.
Niceleyicilerin Değili (Olumsuzu):
- "Her"in değili "Bazı... değildir". Yani, $\neg (\forall x, P(x)) \equiv (\exists x, \neg P(x))$
- "Bazı"nın değili "Her... değildir". Yani, $\neg (\exists x, P(x)) \equiv (\forall x, \neg P(x))$
💡 İpucu: Niceleyicilerin değillerini alırken hem niceleyici değişir ($\forall \leftrightarrow \exists$) hem de önermenin kendisinin değili alınır ($P(x) \leftrightarrow \neg P(x)$).
