Bu ders notu, "ve" ($\land$) ve "veya" ($\lor$) bağlaçlarını içeren mantık konularını anlamana yardımcı olacak temel bilgileri sade bir dille özetliyor. Bu bağlaçlar, önermeleri birleştirerek yeni önermeler oluşturmamızı sağlar ve matematiksel mantığın en temel yapı taşlarındandır.
Mantıkta, bir önerme (proposition), doğru ya da yanlış kesin bir hüküm bildiren ifadedir. Bir cümlenin önerme olabilmesi için, herkes tarafından aynı şekilde değerlendirilmesi, yani doğruluğunun veya yanlışlığının net olması gerekir.
💡 İpucu: Bir cümlenin önerme olup olmadığını anlamak için "Bu cümle doğru mu, yanlış mı?" diye sor. Eğer net bir cevap verebiliyorsan, o bir önermedir!
"Ve" bağlacı, iki önermeyi birbirine bağlayarak yeni bir bileşik önerme oluşturur. Bu bileşik önermenin doğru olabilmesi için, birleşen her iki önermenin de kesinlikle doğru olması gerekir.
📝 Örnek: "Hava güneşli ve sıcak." Bu önermenin doğru olabilmesi için hem havanın güneşli olması hem de sıcak olması gerekir. Eğer hava güneşli ama soğuksa, veya sıcak ama kapalıysa, bu önerme yanlış olur.
⚠️ Dikkat: "Ve" bağlacı çok katıdır! Bir şart bile yerine gelmezse, sonuç yanlış olur.
"Veya" bağlacı da iki önermeyi birleştirir. Bu bileşik önermenin doğru olabilmesi için, birleşen önermelerden en az birinin doğru olması yeterlidir. İkisinin de doğru olması da sonucu doğru yapar.
📝 Örnek: "Ayşe okula otobüsle veya yürüyerek gider." Bu önermenin doğru olması için Ayşe'nin otobüsle gitmesi yeterlidir, yürüyerek gitmesi yeterlidir, hatta hem otobüse binip bir durak sonra inip yürüse bile önerme doğru kabul edilir (pratikte bu pek olmaz ama mantıksal olarak mümkün). Sadece Ayşe okula ne otobüsle ne de yürüyerek gitmezse (örneğin bisikletle giderse), bu önerme yanlış olur.
💡 İpucu: "Veya" bağlacı daha esnektir. Bir tarafın doğru olması, tüm önermeyi doğru yapmaya yeter!
Birden fazla "ve" veya "veya" bağlacı içeren önermelerde, işlem önceliği genellikle parantezlerle belirtilir. Parantez içindeki işlemler önce yapılır. Eğer parantez yoksa, genellikle "ve" bağlacının "veya" bağlacına göre önceliği yoktur, bu yüzden soldan sağa doğru ilerlenir veya parantezlerle belirtilir.
💡 İpucu: Karmaşık önermeleri adım adım çözmek, hata yapmanı engeller. Her adımda bulduğun doğruluk değerini yerine yazarak ilerle.