Mantıksal Bağlaçlar ve Bileşik Önermeler

Konu Anlatımı

Bu derste ne öğreneceğiz

Bu derste sembolik mantığın temel bileşenleri olan mantıksal bağlaçları öğreneceksiniz. Basit önermeleri ve, veya, değil, ise ve ancak ve ancak gibi bağlaçlarla birleştirip bileşik önerme oluşturmayı göreceksiniz. Ayrıca gündelik cümleleri mantıksal sembollerle yazmayı ve koşullu ile iki yönlü koşulu ayırt etmeyi öğreneceksiniz.

Ön bilgi

Sembolik mantık, düşünceyi sözel olarak değil sembollerle ifade ederek daha kesin ve denetlenebilir hâle getirir. Gündelik konuşmada iki önermeyi birleştirmek için bazı sözcükler kullanırız; mantık bunlara bağlaç adını verir ve herbirine bir sembol atar. Bu sayede karmaşık cümleler bile kısa biçimlerle çalışılabilir. Bağlaçların anlamını doğru bilmek, sonraki konulardaki doğruluk tablolarını ve çıkarım kurallarını anlamanın temelini oluşturur.

• Bağlaşma: ve ile iki önermeyi birleştirme.
• Ayrışma: veya ile seçenek sunma.
• Değilleme: bir önermeyi olumsuzlama.
• Koşullu: ise ile önermeler arasına koşul kurma.

Kavramlar ve Temel Tanımlar

Değilleme bir önermenin doğruluğunu tersine çevirir ve ¬ sembolüyle gösterilir. Bağlaşma iki önermenin birlikte doğru olmasını ister ve ∧ sembolüyle yazılır. Ayrışma iki önermeden en az birinin doğru olmasını kabul eder ve ∨ sembolüyle gösterilir; buradaki veya genellikle kapsayan veya olarak alınır. Koşullu önerme birinci önermenin doğruluğını ikincinin koşulu yapar ve → sembolüyle yazılır; Türkçede ise sözcüğüyle kurulur. İki yönlü koşul ise iki önermenin birlikte doğru ya da birlikte yanlış olmasını bildirir ve ↔ sembolüyle gösterilir. Bileşik önerme, bu bağlaçlarla kurulmuş ve en az iki basit önermeyi içeren yapıdır.

Basit örnek

Hava güneşli ve yollar kuru cümlesini ele alalım. Burada bağlaşma kullanılmıştır ve P ∧ Q biçiminde yazılır; bu yapı yalnızca her iki parça da doğruysa doğrudur. Gördüğünüz gibi bir bağlaç, cümlenin doğruluk koşulunu da değiştirir; bu yüzden bağlaçların anlamı önermelerin bütünü kadar önemlidir.

Adım adım çözüm

Bir cümleyi sembolik biçime döndürmek için şu adımları izleyin. İlk olarak cümlenin basit bölümlerini ayırıp her birine P, Q, R gibi bir harf verin. Ardından bölümleri birleştiren bağlaçları belirleyin. Sonra doğru sembolü kullanarak doğru biçimi yazın; değilse ¬, ve ise ∧, veya ise ∨, ise ise → ve ancak ve ancaksa ↔ kullanın. En son çıkarım yapabilmek için önermelerin sırasını netleştirin.

İleri örnek

Eğer yağmur yağarsa yollar ıslanır cümlesi koşullu bir önermedir ve P → Q biçiminde yazılır. Buradan yağmur yağmadığı sonucunu ÇIKARAMAYIZ; çünkü yollar başka bir nedenle ıslak da olabilir. Buna karşılık iki yönlü koşul olan Yağmur yağarsa yollar ıslanır ve yollar ıslaksa yağmur yağdı ifadesi her iki yönü de bağlar. Bu ayrım özellikle hatalı çıkarımlardan kaçınmak için kritiktir ve sembolik mantığın gücünü gösterir.

Kavram karşılaştırma tablosu

Aşağıdaki tablo bağlaçları sembolü ve anlamı açısından karşılaştırır.

Sık yapılan hatalar

Sık yapılan hatalardan biri ve ile veyayı karıştırmaktır; bağlaşma her iki parçanın doğru olmasını isterken ayrışma tek bir parçanın doğruluğuna da yetinebilir. Bir diğer hata koşullu önermede karşıtını doğru sanmaktır; P → Q önermesinden Q değilse P değil çıkarımı geçerlidir ama P değilse Q değil çıkarımı geçersizdir. Ayrıca iki yönlü koşulu tek yönlü koşul sanmak da yaygın hatalardandır.

Özet

Mantıksal bağlaçlar basit önermeleri birleştirip bileşik önerme oluşturur: değilleme ¬, bağlaşma ∧, ayrışma ∨, koşullu → ve iki yönlü koşul ↔ sembolleriyle yazılır. Her bağlaç bir doğruluk koşulu taşır ve bu koşul bileşik önermenin değerini belirler. Bağlaçların anlamını bilmek sembolik çözümlemenin ve geçerli çıkarım kurmanın temelidir. Gündelik cümleleri bu sembollerle yazmak düşünceyi net ve denetlenebilir kılar.

Kendini dene

Gündelik iki cümleyi seçip her birini uygun bağlarla sembollerle ifade etmen ve cümledeki bağlaçları adlandırman isteniyor.