Mantık, doğru düşünmenin ve akıl yürütmenin temel prensiplerini inceleyen bir disiplindir. Günlük hayatımızda, bilimde, felsefede ve hatta sanatta bile mantığın ilkeleriyle karşılaşırız. Bu ilkelerin en temel yapı taşlarından biri ise önermeler ve bu önermeleri birbirine bağlayan bağlaçlardır.
Önerme, doğru ya da yanlış olabilen ifadelerdir. Bir önerme, bir durumu veya bir olayı ifade eder. Örneğin:
Ancak her cümle bir önerme değildir. Soru cümleleri, emir cümleleri veya ünlem cümleleri önerme olarak kabul edilmezler. Çünkü bu tür cümlelerin doğruluğu veya yanlışlığı değerlendirilemez.
Mantıksal bağlaçlar, basit önermeleri bir araya getirerek daha karmaşık önermeler oluşturmamızı sağlar. En temel mantıksal bağlaçlar şunlardır:
"Ve" bağlacı, iki önermenin birlikte doğru olmasını gerektirir. Örneğin:
Önerme P: "Hava güneşli."
Önerme Q: "Hava sıcak."
P ∧ Q: "Hava güneşli ve hava sıcak."
Bu önermenin doğru olabilmesi için hem havanın güneşli hem de sıcak olması gerekir. Eğer hava güneşli değilse veya sıcak değilse veya her ikisi de değilse, önerme yanlıştır.
"Veya" bağlacı, iki önermeden en az birinin doğru olmasını yeterli görür. Örneğin:
Önerme P: "Ali ders çalışıyor."
Önerme Q: "Ayşe kitap okuyor."
P ∨ Q: "Ali ders çalışıyor veya Ayşe kitap okuyor."
Bu önermenin doğru olabilmesi için Ali'nin ders çalışması, Ayşe'nin kitap okuması veya her ikisinin de gerçekleşmesi yeterlidir. Sadece Ali ders çalışmıyor ve Ayşe kitap okumuyorsa, önerme yanlıştır.
"İse" bağlacı, bir koşulun gerçekleşmesi durumunda diğerinin de gerçekleşmesi gerektiğini ifade eder. Örneğin:
Önerme P: "Yağmur yağıyor."
Önerme Q: "Yerler ıslanacak."
P → Q: "Yağmur yağıyor ise yerler ıslanacak."
Bu önermenin yanlış olduğu tek durum, yağmur yağıyor olmasına rağmen yerlerin ıslanmamasıdır. Yağmur yağmıyorsa, yerlerin ıslanıp ıslanmaması önermenin doğruluğunu etkilemez.
Mantık, düşüncelerimizi ve argümanlarımızı daha net ve tutarlı bir şekilde ifade etmemize yardımcı olur. Önermeler ve bağlaçlar, mantığın temel yapı taşlarıdır ve bu kavramları anlamak, daha karmaşık mantıksal çıkarımlar yapabilmemizi sağlar.
