🎓 Çift gerektirme nedir Test 1 - Ders Notu
Bu ders notu, "Çift gerektirme nedir Test 1" testinin temelini oluşturan mantık konularını, özellikle önermeler, bağlaçlar, gerektirme ve çift gerektirme kavramlarını sade bir dille açıklamaktadır.
📌 Önermeler ve Doğruluk Değeri
Mantıkta her şey önermelerle başlar. Bir önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadedir.
- Önerme: Doğru (D) veya yanlış (Y) olabilen, ancak ikisi birden olamayan anlamlı cümlelerdir. Soru, emir, dilek cümleleri önerme değildir.
- Doğruluk Değeri: Bir önermenin doğru olması durumunda $1$ (veya D), yanlış olması durumunda $0$ (veya Y) ile gösterilir.
💡 İpucu: "Hava güzel mi?" bir önerme değildir. "Hava bugün güzeldir." bir önermedir.
📌 Temel Mantık Bağlaçları
Önermeleri birbirine bağlayarak yeni önermeler oluşturmak için bağlaçları kullanırız. Her bağlacın kendine özgü bir doğruluk tablosu vardır.
- Değil (Olumsuzlama) ($\neg$): Bir önermenin doğruluk değerini tersine çevirir. Eğer $p$ doğruysa $\neg p$ yanlış, $p$ yanlışsa $\neg p$ doğrudur.
- Ve ($\land$): Her iki önerme de doğruyken sonuç doğrudur, diğer durumlarda yanlıştır. (Örn: "Hem ders çalışıyorum hem de müzik dinliyorum.")
- Veya ($\lor$): En az bir önerme doğruyken sonuç doğrudur, her ikisi de yanlışken sonuç yanlıştır. (Örn: "Çay veya kahve içelim.")
- Ya da ($\underline{\lor}$): Önermelerden sadece biri doğruyken sonuç doğrudur, diğer durumlarda (ikisi de doğru veya ikisi de yanlış) sonuç yanlıştır.
⚠️ Dikkat: "Ve" bağlacı katı bir şart isterken, "Veya" bağlacı daha esnektir.
📌 Koşullu Önerme (Gerektirme - $\Rightarrow$)
"İse" bağlacı ile kurulan önermelere koşullu önerme veya gerektirme denir. $p \Rightarrow q$ şeklinde gösterilir ve "$p$ ise $q$" diye okunur.
- Doğruluk Değeri: $p \Rightarrow q$ önermesi sadece $p$ doğru ve $q$ yanlış iken yanlıştır ($1 \Rightarrow 0$ durumu). Diğer tüm durumlarda doğrudur.
- Örnek: "Yağmur yağarsa, yerler ıslanır." Yağmur yağar ($p=1$) ama yerler ıslanmazsa ($q=0$) bu ifade yanlış olur.
- Yeterli Şart: $p$ önermesi, $q$ önermesi için yeterli bir şarttır. (Yağmur yağması, yerlerin ıslanması için yeterlidir.)
- Gerekli Şart: $q$ önermesi, $p$ önermesi için gerekli bir şarttır. (Yerler ıslanması, yağmurun yağması için gerekli bir sonuçtur.)
💡 İpucu: Hayattaki "eğer... ise..." kalıpları genellikle bir gerektirme ifadesidir.
📌 Çift Koşullu Önerme (Çift Gerektirme - $\Leftrightarrow$)
"Ancak ve ancak" bağlacı ile kurulan önermelere çift koşullu önerme veya çift gerektirme denir. $p \Leftrightarrow q$ şeklinde gösterilir ve "$p$ ancak ve ancak $q$" diye okunur.
- Doğruluk Değeri: $p \Leftrightarrow q$ önermesi, $p$ ve $q$ aynı doğruluk değerine sahipken (ikisi de doğru veya ikisi de yanlış) doğrudur. Farklı doğruluk değerlerine sahipken yanlıştır.
- Anlamı: Bu, "$p$ ise $q$ ve $q$ ise $p$" anlamına gelir. Yani, $p \Leftrightarrow q \equiv (p \Rightarrow q) \land (q \Rightarrow p)$ şeklindedir.
- Gerek ve Yeter Şart: $p$ önermesi, $q$ önermesi için hem gerekli hem de yeterli bir şarttır. Aynı şekilde $q$ da $p$ için hem gerekli hem de yeterli bir şarttır.
- Örnek: "Bir sayı çift ise ve ancak çift ise $2$'ye kalansız bölünür." Bu ifade her iki yönde de doğrudur.
⚠️ Dikkat: Çift gerektirme, iki önermenin birbirine "denk" olduğunu ifade etmenin bir yoludur. Eğer $p \Leftrightarrow q$ bir totoloji (her zaman doğru) ise, $p$ ve $q$ denktir.
📌 Totoloji, Çelişki ve Denk Önermeler
Mantıkta bazı özel durumlar vardır:
- Totoloji: Bir bileşik önerme, doğruluk değeri her zaman doğru ($1$) ise totolojidir. (Örn: $p \lor \neg p$)
- Çelişki: Bir bileşik önerme, doğruluk değeri her zaman yanlış ($0$) ise çelişkidir. (Örn: $p \land \neg p$)
- Denk Önermeler: Doğruluk değerleri aynı olan iki önermeye denk önermeler denir. $p \equiv q$ şeklinde gösterilir.
💡 İpucu: Bir önermenin totoloji olup olmadığını anlamak için tüm olası durumları gösteren bir doğruluk tablosu oluşturabilirsiniz.
