🎓 Gerektirme nedir (Koşulun totoloji olması) Test 1 - Ders Notu
📝 Bu ders notu, mantık konusunun temel yapı taşları olan önermeler, mantık bağlaçları, doğruluk tabloları ve özellikle gerektirme kavramını anlamanıza yardımcı olacak ana konuları kapsamaktadır.
📌 Önermeler ve Doğruluk Değerleri
Mantıkta bir önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadedir.
- Bir önerme aynı anda hem doğru hem de yanlış olamaz.
- Önermeler genellikle $p, q, r, ...$ gibi küçük harflerle gösterilir.
- Bir önermenin doğru olması $D$ (veya $1$), yanlış olması ise $Y$ (veya $0$) ile gösterilir. Bu değerlere doğruluk değeri denir.
Örnek: "Türkiye'nin başkenti Ankara'dır." ($p$) önermesi doğrudur. "2 + 2 = 5" ($q$) önermesi yanlıştır.
📌 Temel Mantık Bağlaçları
Birden fazla önermeyi birleştirmek veya bir önermenin anlamını değiştirmek için kullanılan sembollerdir.
Ve ($\land$) Bağlacı: İki önermenin de doğru olması durumunda bileşik önermeyi doğru yapar.
- $p \land q$ önermesi, ancak ve ancak hem $p$ hem de $q$ doğru olduğunda doğrudur.
- Diğer tüm durumlarda yanlıştır.
Veya ($\lor$) Bağlacı: İki önermeden en az birinin doğru olması durumunda bileşik önermeyi doğru yapar.
- $p \lor q$ önermesi, $p$ veya $q$ (ya da ikisi birden) doğru olduğunda doğrudur.
- Sadece hem $p$ hem de $q$ yanlış olduğunda yanlıştır.
Değil ($\neg$) Bağlacı: Bir önermenin doğruluk değerini tersine çevirir.
- $\neg p$ (p'nin değili), $p$ doğru ise yanlış, $p$ yanlış ise doğrudur.
İse ($\Rightarrow$) Bağlacı (Koşullu Önerme): En önemli bağlaçlardan biridir ve "eğer ... ise ..." şeklinde okunur. $p \Rightarrow q$ ifadesi "$p$ ise $q$" anlamına gelir.
- $p \Rightarrow q$ önermesi, sadece $p$ doğru iken $q$ yanlış olduğunda yanlıştır.
- Diğer tüm durumlarda (yani $p$ yanlış olduğunda veya $p$ doğru iken $q$ da doğru olduğunda) doğrudur.
- $p$'ye hipotez (ön koşul), $q$'ya ise hüküm (sonuç) denir.
⚠️ Dikkat: $p \Rightarrow q$ önermesi, $p$'nin yanlış olduğu durumlarda her zaman doğrudur. Yani "Yağmur yağmazsa, yerler ıslanır." cümlesi, yağmur yağmadığı sürece doğru kabul edilir, yerlerin ıslanıp ıslanmadığına bakılmaz.
Ancak ve Ancak ($\Leftrightarrow$) Bağlacı (Çift Koşullu Önerme): İki önermenin doğruluk değerlerinin aynı olması durumunda bileşik önermeyi doğru yapar. "$p$ ancak ve ancak $q$" şeklinde okunur.
- $p \Leftrightarrow q$ önermesi, $p$ ve $q$ aynı doğruluk değerine sahip olduğunda (ikisi de doğru veya ikisi de yanlış) doğrudur.
- $p$ ve $q$ farklı doğruluk değerlerine sahip olduğunda yanlıştır.
📌 Doğruluk Tabloları
Bileşik önermelerin tüm olası doğruluk değerlerini sistematik bir şekilde gösteren tablolardır.
- $n$ farklı önerme için $2^n$ farklı doğruluk durumu bulunur.
- Bu tablolar, bir önermenin totoloji mi, çelişki mi yoksa olumsal mı olduğunu belirlemek için kullanılır.
💡 İpucu: Doğruluk tablolarını oluştururken her bir bağlacın kuralını adım adım uygulamak önemlidir.
📌 Totoloji ve Çelişki
Bileşik önermelerin özel durumlarıdır.
- Totoloji: Bir bileşik önermenin, tüm doğruluk değerleri için daima doğru (D veya 1) çıkması durumudur. Örnek: $p \lor \neg p$ önermesi her zaman doğrudur.
- Çelişki: Bir bileşik önermenin, tüm doğruluk değerleri için daima yanlış (Y veya 0) çıkması durumudur. Örnek: $p \land \neg p$ önermesi her zaman yanlıştır.
- Olumsallık (Contingency): Bir bileşik önermenin bazı durumlarda doğru, bazı durumlarda yanlış çıkması durumudur. Ne totoloji ne de çelişkidir.
📌 Gerektirme (Koşulun Totoloji Olması)
Matematiksel mantıkta, bir önermenin diğerini gerektirmesi, koşullu önermenin ($P \Rightarrow Q$) bir totoloji olması anlamına gelir.
- Eğer $P \Rightarrow Q$ önermesi her zaman doğru ise, yani bir totoloji ise, $P$'nin $Q$'yu gerektirdiğini söyleriz. Bu durum $P \Rightarrow Q$ şeklinde gösterilir.
- Bu, "$P$ doğru olduğunda $Q$ da mutlaka doğrudur" anlamına gelir.
- $P$ yanlış olduğunda, $P \Rightarrow Q$ her zaman doğru olacağından, gerektirme ilişkisi bozulmaz. Önemli olan $P$'nin doğru olduğu durumlardır.
Örnek: "Bir sayı çift ise, o sayı 2 ile tam bölünür." önermesini düşünelim. Eğer $P$: "Bir sayı çifttir" ve $Q$: "Bir sayı 2 ile tam bölünür" ise, $P \Rightarrow Q$ her zaman doğrudur. Dolayısıyla $P$, $Q$'yu gerektirir.
💡 İpucu: Gerektirme ilişkisi tek yönlüdür. $P$, $Q$'yu gerektiriyorsa, $Q$'nun $P$'yi gerektirmesi şart değildir. Örneğin, "Bir sayı 4 ile tam bölünür" ($P$) ise "Bir sayı 2 ile tam bölünür" ($Q$). Burada $P \Rightarrow Q$ bir gerektirmedir. Ama $Q \Rightarrow P$ bir gerektirme değildir (çünkü 6, 2 ile bölünür ama 4 ile bölünmez).
📌 Mantıksal Eşdeğerlik (Denklik)
İki önermenin her zaman aynı doğruluk değerine sahip olması durumudur.
- Eğer $P \Leftrightarrow Q$ önermesi bir totoloji ise, $P$ ve $Q$ önermeleri mantıksal olarak eşdeğerdir (denktir) denir. Bu durum $P \equiv Q$ şeklinde gösterilir.
- Mantıksal eşdeğerlik, iki önermenin doğruluk tablolarının tamamen aynı olması demektir.
- Denklik durumunda, $P$, $Q$'yu gerektirir ve $Q$ da $P$'yi gerektirir (yani hem $P \Rightarrow Q$ hem de $Q \Rightarrow P$ birer totolojidir).
Örnek: $p \Rightarrow q$ önermesi ile $\neg p \lor q$ önermesi mantıksal olarak eştir ($p \Rightarrow q \equiv \neg p \lor q$). Doğruluk tablolarını yaparak bunu görebilirsiniz.
