Önerme Nedir? Doğruluk Değeri Ne Demektir? Test 2

🎓 Önerme Nedir? Doğruluk Değeri Ne Demektir? Test 2 - Ders Notu

Bu ders notu, mantık konusunun temel taşları olan önermeler, doğruluk değerleri ve bileşik önermeler hakkında bilmeniz gereken ana kavramları özetlemektedir. Testinizde karşılaşacağınız sorulara hazırlıklı olmanız için sade ve anlaşılır bir rehberdir.

📌 Önerme Nedir?

Mantıkta "önerme", doğru ya da yanlış kesin bir hüküm bildiren cümlelere denir. Bir cümlenin önerme olabilmesi için, herkes tarafından aynı şekilde yorumlanabilen, net bir yargı içermesi gerekir.

• Bir önerme ya doğrudur ya da yanlıştır; ikisi birden olamaz.
• Soru cümleleri ("Bugün hava güzel mi?"), emir cümleleri ("Otur!"), dilek cümleleri ("Keşke gelmeseydin!"), ünlem cümleleri ("Ne kadar güzel!") ve göreceli yargılar ("Bu yemek çok lezzetli.") önerme değildir.
• Önermeler genellikle küçük harflerle ($p, q, r, ...$) gösterilir.

Örnekler:

• "Ankara, Türkiye'nin başkentidir." (Doğru bir önerme)
• "$2 + 3 = 6$" (Yanlış bir önerme)
• "Güneş batıdan doğar." (Yanlış bir önerme)

💡 İpucu: Bir cümlenin önerme olup olmadığını anlamak için "Bu cümle doğru mu, yanlış mı?" sorusunu sorun. Net bir cevap alabiliyorsanız, o bir önermedir.

📌 Doğruluk Değeri Nedir?

Bir önermenin doğru veya yanlış olma durumuna "doğruluk değeri" denir. Her önermenin sadece bir doğruluk değeri vardır.

• Doğru önermeler genellikle "D" veya "1" ile gösterilir.
• Yanlış önermeler genellikle "Y" veya "0" ile gösterilir.
• Bir $p$ önermesinin doğruluk değeri $D(p)$ şeklinde ifade edilebilir.

Örnekler:

• "$p$: Dünya yuvarlaktır." önermesinin doğruluk değeri $D(p) = 1$ (Doğru)
• "$q$: Filler uçar." önermesinin doğruluk değeri $D(q) = 0$ (Yanlış)

📌 Denk Önermeler

Doğruluk değerleri aynı olan iki veya daha fazla önermeye "denk önermeler" denir.

• $p$ ve $q$ önermeleri denk ise bu durum $p \equiv q$ şeklinde gösterilir.
• Eğer $p$ doğru ve $q$ da doğru ise $p \equiv q$'dur.
• Eğer $p$ yanlış ve $q$ da yanlış ise $p \equiv q$'dur.

Örnek:

• "$p$: Türkiye'nin başkenti Ankara'dır." ($D(p) = 1$)
• "$q$: 5 tek sayıdır." ($D(q) = 1$)
• Bu durumda $p \equiv q$ diyebiliriz.

📌 Bir Önermenin Değili (Olumsuzu)

Bir önermenin hükmünü değiştiren (doğruysa yanlış, yanlışsa doğru yapan) yeni önermeye o önermenin "değili" veya "olumsuzu" denir.

• Bir $p$ önermesinin değili $p'$ veya $\neg p$ şeklinde gösterilir.
• Eğer $p$ doğru ise $p'$ yanlıştır. ($D(p)=1 \implies D(p')=0$)
• Eğer $p$ yanlış ise $p'$ doğrudur. ($D(p)=0 \implies D(p')=1$)
• Bir önermenin değilinin değili, önermenin kendisine denktir: $(p')' \equiv p$.

Örnekler:

• "$p$: Bugün hava güneşlidir." ($D(p)=1$ diyelim)
• "$p'$: Bugün hava güneşli değildir." ($D(p')=0$ olur)
• "$q$: 7 asal bir sayıdır." ($D(q)=1$)
• "$q'$: 7 asal bir sayı değildir." ($D(q')=0$)

⚠️ Dikkat: Bir önermenin değilini alırken sadece "değildir" eklemek yerine, cümlenin anlamını tam tersine çevirmeniz gerekebilir. Örneğin, "Bazı öğrenciler çalışkandır." önermesinin değili "Hiçbir öğrenci çalışkan değildir." yerine "Her öğrenci çalışkan değildir." veya "Bütün öğrenciler çalışkan değildir." şeklinde ifade edilebilir. Ancak temel seviyede genellikle "değildir" yeterlidir.

📌 Bileşik Önermeler

İki veya daha fazla basit önermenin "ve", "veya", "ise", "ancak ve ancak" gibi bağlaçlarla birleştirilmesiyle oluşan önermelere "bileşik önermeler" denir.

📝 "Ve" Bağlacı ($\land$)

İki önermenin "ve" bağlacıyla bağlanmasıyla oluşan bileşik önerme ($p \land q$), ancak ve ancak her iki önerme de doğru olduğunda doğrudur. Diğer tüm durumlarda yanlıştır.

• $p$: "Yağmur yağıyor."
• $q$: "Hava soğuk."
• $p \land q$: "Yağmur yağıyor ve hava soğuk."

💡 İpucu: "Ve" bağlacını bir köprü gibi düşünün. Köprüden geçebilmeniz için her iki ayağının da sağlam (doğru) olması gerekir. Bir ayağı bile yıkık (yanlış) olsa geçemezsiniz.

📝 "Veya" Bağlacı ($\lor$)

İki önermenin "veya" bağlacıyla bağlanmasıyla oluşan bileşik önerme ($p \lor q$), her iki önerme de yanlış olduğunda yanlıştır. Diğer tüm durumlarda doğrudur.

• $p$: "Bugün sinemaya gideceğim."
• $q$: "Bugün kitap okuyacağım."
• $p \lor q$: "Bugün sinemaya gideceğim veya kitap okuyacağım."

💡 İpucu: "Veya" bağlacını bir menü seçimi gibi düşünün. "Çay veya kahve?" dendiğinde ikisini de alabilirsiniz, sadece birini de alabilirsiniz. Sadece ikisini de almazsanız seçimi yapmamış olursunuz.

📝 "Ya da" Bağlacı ($\underline{\lor}$)

İki önermenin "ya da" bağlacıyla bağlanmasıyla oluşan bileşik önerme ($p \underline{\lor} q$), önermelerin doğruluk değerleri birbirinden farklı olduğunda doğrudur. Her iki önerme de aynı doğruluk değerine sahipse yanlıştır.

• $p$: "Bu yıl tatile Ege'ye gideceğim."
• $q$: "Bu yıl tatile Akdeniz'e gideceğim."
• $p \underline{\lor} q$: "Bu yıl tatile ya Ege'ye gideceğim ya da Akdeniz'e gideceğim." (İkisini birden yapamazsın, birini seçmelisin)

⚠️ Dikkat: "Veya" ile "Ya da" arasındaki fark önemlidir. "Veya"da ikisi de doğru olabilirken, "Ya da"da yalnızca biri doğru olabilir.

📝 "İse" Bağlacı ($\implies$)

İki önermenin "ise" bağlacıyla bağlanmasıyla oluşan bileşik önerme ($p \implies q$), sadece birinci önerme doğru ve ikinci önerme yanlış olduğunda yanlıştır. Diğer tüm durumlarda doğrudur.

• $p$: "Sınavı geçersen."
• $q$: "Sana hediye alırım."
• $p \implies q$: "Sınavı geçersen sana hediye alırım."

💡 İpucu: "İse" bağlacını bir söz verme durumu gibi düşünün. Sözünüzü ne zaman tutmamış olursunuz? Sadece sözü verdiğinizde ($p$ doğru) ama yerine getirmediğinizde ($q$ yanlış). Diğer tüm durumlarda (söz vermediğinizde veya sözü tutup tutmadığınızın önemi kalmadığında) sözünüz geçerliliğini korur.

📝 "Ancak ve Ancak" Bağlacı ($\iff$)

İki önermenin "ancak ve ancak" bağlacıyla bağlanmasıyla oluşan bileşik önerme ($p \iff q$), önermelerin doğruluk değerleri aynı olduğunda doğrudur. Doğruluk değerleri farklı olduğunda yanlıştır.

• $p$: "Bir sayı çift sayıdır."
• $q$: "Bir sayı 2 ile tam bölünür."
• $p \iff q$: "Bir sayı çift sayıdır ancak ve ancak 2 ile tam bölünür."

💡 İpucu: "Ancak ve ancak" bağlacı, iki önermenin birbirine denk olduğu durumları ifade eder. Yani, ikisi de doğruysa veya ikisi de yanlışsa bileşik önerme doğrudur.