Bu soruda, günlük hayatta kullandığımız bir ifadeyi mantık sembolleri ile nasıl göstereceğimizi öğreneceğiz. Mantık, önermeleri ve aralarındaki ilişkileri semboller kullanarak inceleyen bir bilim dalıdır. Bu sayede ifadeleri daha net ve kısa bir şekilde ifade edebiliriz.
- Adım 1: Önermeleri Belirleyelim
- Öncelikle, verilen cümleyi en basit iki parçaya ayıralım. Bu parçalara basit önerme denir.
- Birinci önermemiz: "Yağmur yağar." Bu önermeyi 'p' sembolü ile gösterelim. Yani, $p$: "Yağmur yağar."
- İkinci önermemiz: "Sokaklar ıslanır." Bu önermeyi 'q' sembolü ile gösterelim. Yani, $q$: "Sokaklar ıslanır."
- Adım 2: Önermeler Arasındaki İlişkiyi Anlayalım
- Cümlemiz "Yağmur yağarsa, sokaklar ıslanır." şeklinde. Burada "yağarsa" ve "ıslanır" kelimeleri arasındaki ilişkiyi sağlayan "eğer ... ise ..." yapısıdır. Bu yapı, bir olayın gerçekleşmesinin başka bir olayın gerçekleşmesine bağlı olduğunu ifade eder.
- Yani, yağmur yağması ($p$) durumunda, sokakların ıslanması ($q$) sonucunun ortaya çıktığını belirtiyor. Bu tür bir ilişkiye koşullu önerme veya ise bağlacı denir.
- Adım 3: Koşullu Önermenin Sembolünü Bulalım
- Mantıkta, "eğer $p$ ise $q$" şeklindeki koşullu önermeler, bir ok sembolü ile gösterilir. Bu sembol '$\to$' şeklindedir ve "ise" olarak okunur.
- Dolayısıyla, "$p$ ise $q$" ifadesi, sembolik olarak $p \to q$ şeklinde yazılır.
- Adım 4: Diğer Seçenekleri İnceleyelim
- A) $p \land q$: Bu sembol "ve" anlamına gelir. "$p$ ve $q$" demektir. Yani, "Yağmur yağar ve sokaklar ıslanır." Bu, her iki olayın da aynı anda gerçekleştiğini ifade eder, ancak aralarında bir koşul ilişkisi kurmaz.
- B) $p \lor q$: Bu sembol "veya" anlamına gelir. "$p$ veya $q$" demektir. Yani, "Yağmur yağar veya sokaklar ıslanır." Bu, en az birinin gerçekleştiğini ifade eder.
- D) $\neg p$: Bu sembol "değil" anlamına gelir. "$p$'nin değili" demektir. Yani, "Yağmur yağmaz." Bu, sadece tek bir önermenin olumsuzunu ifade eder.
Gördüğümüz gibi, "Yağmur yağarsa, sokaklar ıslanır." ifadesi bir koşul belirtir ve bu da mantıkta "ise" bağlacı ile gösterilir.
Cevap C seçeneğidir.
