Çözümleyici Çizelge Yöntemi ve Mantıksal Denetimler

📚 Çözümleyici Çizelge Yöntemiyle Mantıksal Denetleme

---

Kaynak Bilgisi: Bu çalışma materyali, bir dersin sesli transkripti ve kullanıcı tarafından kopyalanıp yapıştırılmış metin kaynakları birleştirilerek hazırlanmıştır.

---

1. Giriş: Çözümleyici Çizelge Yöntemine Genel Bakış

Çözümleyici çizelge yöntemi, önermeler mantığındaki semantik kavramların biçimsel bir hesabını sunan sistematik bir denetim aracıdır. 💡 Bu yöntem, önermelerin doğruluk değerlerini tayin etme, önermeler kümelerinin tutarlılığını araştırma, önermelerin eşdeğerliğini belirleme ve çıkarımların geçerliliğini denetleme gibi özel öneme sahip mantıksal analizleri gerçekleştirmek için kullanılır. Temelini önermeler mantığının beş ana ekleminin (ve, veya, ise, ancak ve ancak, değil) karakteristik doğruluk tablolarından alan bu metot, karmaşık mantıksal yapıları adım adım çözümleyerek kesin sonuçlara ulaşmayı sağlar. Çözümleyici çizelge, mantıksal argümanların ve önermeler arasındaki ilişkilerin sağlamlığını objektif bir şekilde değerlendirmek için vazgeçilmez bir araçtır.

2. Çözümleyici Çizelge Nedir ve Neden Kullanılır?

Çözümleyici çizelge (veya semantik çizelge), önermeler mantığında bir önermenin veya önermeler kümesinin mantıksal özelliklerini (tutarlılık, geçerlilik, eşdeğerlik) sistematik bir şekilde test etmek için kullanılan ağaç benzeri bir yapıdır. Amacı, bir önermenin veya önermeler kümesinin çelişki içerip içermediğini görsel ve adım adım bir süreçle ortaya koymaktır.

Kullanım Alanları:

• Doğruluk Değeri Tayini: Bir önermenin hangi koşullarda doğru olduğunu belirleme.
• Tutarlılık Araştırması: Bir önermeler kümesinin tüm elemanlarının aynı anda doğru olup olamayacağını denetleme.
• Eşdeğerlik Belirleme: İki önermenin mantıksal olarak aynı anlama gelip gelmediğini tespit etme.
• Çıkarım Geçerliliği Denetimi: Bir çıkarımın (öncüllerden sonuca geçişin) mantıksal olarak sağlam olup olmadığını kontrol etme.

3. Temel Çözümleyici Çizelge Kuralları

Çözümleyici çizelge oluşturmak için kullanılan kurallar, önermeler mantığındaki temel eklemlerin (∧, ∨, →, ¬) doğruluk tablolarından türetilmiştir. Bu kurallar, karmaşık önermeleri daha basit bileşenlerine ayırarak çizelgeyi dallandırma veya uzatma prensibine dayanır. Kurallar iki ana kategoriye ayrılabilir:

3.1. Dallanmayan (Alfa - α) Kurallar ✅

Bu kurallar, bir önermeyi alt alta yazılan iki veya daha fazla basit önermeye dönüştürür. Çizelgede yeni bir dal oluşturmazlar, mevcut dalı aşağı doğru uzatırlar.

1. Konjonksiyon (Ve) Kuralı: P ∧ L

   • Bir P ve L önermesi doğruysa, hem P hem de L doğru olmalıdır.
   • Uygulama:

     P ∧ L
     -------
       P
       L
     

2. Değillenmiş Disjonksiyon (Değil Veya) Kuralı: ~(P ∨ L)

   • Bir P veya L önermesinin değili doğruysa, ne P ne de L doğru değildir. Yani hem P'nin değili hem de L'nin değili doğru olmalıdır.
   • Uygulama:

     ~(P ∨ L)
     ---------
       ~P
       ~L
     

3. Değillenmiş Koşul (Değil İse) Kuralı: ~(P → L)

   • Bir P ise L önermesinin değili doğruysa, P doğru ve L yanlış olmalıdır.
   • Uygulama:

     ~(P → L)
     ---------
       P
       ~L
     

4. Çift Değilleme Kuralı: ~~P

   • Bir önermenin iki kez değili alınmışsa, bu önerme kendisiyle eşdeğerdir.
   • Uygulama:

     ~~P
     ----
      P
     

3.2. Dallanan (Beta - β) Kurallar 🌳

Bu kurallar, bir önermeyi iki veya daha fazla farklı dala ayırır. Bu, önermenin farklı doğruluk koşullarını temsil eden alternatif yollar oluşturur.

1. Disjonksiyon (Veya) Kuralı: P ∨ L

   • Bir P veya L önermesi doğruysa, ya P doğru ya da L doğru olmalıdır (veya her ikisi).
   • Uygulama:

     P ∨ L
     -----
     P   L
     

2. Koşul (İse) Kuralı: P → L

   • Bir P ise L önermesi doğruysa, ya P yanlış ya da L doğru olmalıdır. (P → L önermesi ~P ∨ L önermesine eşdeğerdir.)
   • Uygulama:

     P → L
     -----
     ~P  L
     

3. Değillenmiş Konjonksiyon (Değil Ve) Kuralı: ~(P ∧ L)

   • Bir P ve L önermesinin değili doğruysa, ya P yanlış ya da L yanlış olmalıdır.
   • Uygulama:

     ~(P ∧ L)
     ---------
     ~P      ~L
     

4. Çözümleyici Çizelge Uygulamaları

Çözümleyici çizelge yöntemi, farklı mantıksal denetimler için kullanılır. Her bir uygulama için başlangıç kümesi farklı şekilde oluşturulur.

4.1. Önermeler Kümesinin Tutarlılığını Denetleme

Bir önermeler kümesinin tutarlı olup olmadığını denetlemek için, kümedeki tüm önermeler çizelgenin başlangıcına alt alta yazılır. Daha sonra yukarıdaki kurallar sırasıyla uygulanarak çizelge oluşturulur.

• Kapalı Yol (X): Bir yolun kapalı olması, o yolda çelişik iki önermenin (örneğin A ve ~A gibi) bulunması anlamına gelir. Bu durum, o yolun mantıksal olarak imkansız olduğunu gösterir. Kapalı yollar X ile işaretlenir.
• Açık Yol: Bir yolun açık kalması, o yolda herhangi bir çelişkinin bulunmaması ve tüm önermelerin daha basit bileşenlerine ayrılmış olması anlamına gelir. Açık yollar, kümenin tutarlı olduğu bir doğruluk değeri atamasını temsil eder.

Sonuç:

• Eğer çizelgedeki bütün yollar kapalıysa, denetlenen önermeler kümesi tutarsızdır. Bu, kümenin elemanlarını birlikte doğru kılacak hiçbir doğruluk değeri atamasının bulunmadığı anlamına gelir.
• Eğer çizelgedeki en az bir yol açık kalırsa, denetlenen önermeler kümesi tutarlıdır.

Örnek 1: Tutarlılık Denetimi [(A ∧ ~ B), C, (~ A ∨ ~ C)] önermeler kümesi tutarlı mıdır? Çözümleyici çizelge ile denetleyiniz.

Çözüm Adımları:

1. Başlangıç Kümesini Oluşturma: Verilen önermeleri alt alta yazarak çizelgeye başlanır.

   1. A ∧ ~B
   2. C
   3. ~A ∨ ~C
   

2. Kural Uygulama:
   • Öncelik genellikle dallanmayan kurallara verilir, çünkü bunlar yeni dal oluşturmaz ve çizelgeyi daha hızlı kapatabilir.
   • 1. önerme A ∧ ~B bir konjonksiyon (α kuralı). Bu önermeyi bileşenlerine ayırırız:

     1. A ∧ ~B
     2. C
     3. ~A ∨ ~C
     -----------
     4. A       (1'den)
     5. ~B      (1'den)
     

   • Şimdi 3. önerme ~A ∨ ~C bir disjonksiyon (β kuralı). Bu önerme iki dala ayrılır:

     1. A ∧ ~B
     2. C
     3. ~A ∨ ~C
     -----------
     4. A
     5. ~B
     -----------
     6. ~A   |   ~C   (3'ten)
     

3. Yolları Kontrol Etme:
   • Sol Yol (A, C, ~B, ~A): Bu yolda A (4. satırda) ve ~A (6. satırda sol dalda) çelişmektedir. Bu yol kapalıdır. ❌
   • Sağ Yol (A, C, ~B, ~C): Bu yolda C (2. satırda) ve ~C (6. satırda sağ dalda) çelişmektedir. Bu yol da kapalıdır. ❌

Çizelge Görünümü:

1. A ∧ ~B
2. C
3. ~A ∨ ~C
-----------
4. A
5. ~B
-----------
6. ~A   |   ~C
        |
X       X

Sonuç: Tüm yollar kapalı olduğu için, denetlenen önermeler kümesi tutarsızdır. Bu, kümenin elemanlarını aynı anda doğru kılacak hiçbir doğruluk değeri atamasının bulunmadığı anlamına gelir.

Alıştırma 1: [G ∨ (H ∨ I), ~(G ∨ H), ~(H ∨ I), ~(I ∨ G)] önermeleri tutarlı bir küme oluşturur mu? Çözümleyici çizelge ile denetleyiniz.

4.2. Önermelerin Eşdeğerliğini Denetleme

İki önermenin (X ve Y) mantıksal olarak eşdeğer olup olmadığını belirlemek için, bu iki önerme ancak ve ancak (↔) eklemiyle birleştirilir ve elde edilen bileşik önermenin değili alınır: ~(X ↔ Y). Bu değillenmiş bileşik önerme, tek elemanlı bir küme olarak çözümleyici çizelgeye uygulanır.

Sonuç:

• Eğer ~(X ↔ Y) kümesi tutarsız çıkarsa (tüm yollar kapanırsa), başlangıçtaki X ve Y önermeleri eşdeğerdir. (Çünkü eşdeğer olmadıkları iddiası çelişki yaratmıştır.)
• Eğer ~(X ↔ Y) kümesi tutarlı çıkarsa (en az bir yol açık kalırsa), X ve Y önermeleri eşdeğer değildir.

Örnek 2: Eşdeğerlik Denetimi (P → Q) ve (~ P ∨ Q) önermeleri birbirine eşdeğer midir? Çözümleyici çizelge ile denetleyiniz.

Çözüm Adımları:

1. Başlangıç Kümesini Oluşturma: Eşdeğerlik denetimi için ~((P → Q) ↔ (~P ∨ Q)) önermesini çizelgeye alırız. Ancak, ↔ ve ~↔ için doğrudan kurallar verilmediği için, bu ifadeyi bilinen eklemlerle ifade etmemiz gerekir.

   • X ↔ Y eşdeğerdir (X → Y) ∧ (Y → X)
   • ~(X ↔ Y) eşdeğerdir ~( (X → Y) ∧ (Y → X) )
   • ~(X ↔ Y) aynı zamanda (X ∧ ~Y) ∨ (~X ∧ Y) olarak da ifade edilebilir.
   • Daha basit bir yaklaşım, ~(X ↔ Y) ifadesini (X ∧ ~Y) ve (~X ∧ Y) olarak iki ana dala ayırmaktır.
   • Yani, ~((P → Q) ↔ (~P ∨ Q)) ifadesi, ((P → Q) ∧ ~(~P ∨ Q)) veya (~(P → Q) ∧ (~P ∨ Q)) olarak iki ana dala ayrılır.

   Kaynak metinde doğrudan ~((P → Q) ↔ (~P ∨ Q)) ifadesiyle başlanmış ve ardından (P → Q) ve ~(~P ∨ Q) olarak dallandırılmıştır. Bu, ~(X ↔ Y) kuralının X ve ~Y olarak bir dal, ~X ve Y olarak diğer dal şeklinde uygulandığını gösterir.

   1. ~((P → Q) ↔ (~P ∨ Q))
   -----------------------------------
   2. (P → Q)      |      ~(P → Q)
   3. ~(~P ∨ Q)    |      (~P ∨ Q)
   

2. Kural Uygulama ve Yolları Kontrol Etme:

   Sol Dal (P → Q) ve ~(~P ∨ Q):

   • 3. önerme ~(~P ∨ Q) bir değillenmiş disjonksiyon (α kuralı). Bunu açarız:

     2. P → Q
     3. ~(~P ∨ Q)
     -------------
     4. ~~P     (3'ten)
     5. ~Q      (3'ten)
     

   • 4. önerme ~~P bir çift değilleme (α kuralı). Bunu açarız:

     2. P → Q
     3. ~(~P ∨ Q)
     -------------
     4. P       (~~P'den)
     5. ~Q
     

   • Şimdi 2. önerme P → Q bir koşul (β kuralı). Bunu iki dala ayırırız:

     2. P → Q
     3. ~(~P ∨ Q)
     -------------
     4. P
     5. ~Q
     -------------
     6. ~P   |   Q   (2'den)
     

   • Sol Dalın Sol Yolu (P, ~Q, ~P): P (4. satırda) ve ~P (6. satırda sol dalda) çelişmektedir. Bu yol kapalıdır. ❌
   • Sol Dalın Sağ Yolu (P, ~Q, Q): ~Q (5. satırda) ve Q (6. satırda sağ dalda) çelişmektedir. Bu yol da kapalıdır. ❌

   Sağ Dal ~(P → Q) ve (~P ∨ Q):

   • 2. önerme ~(P → Q) bir değillenmiş koşul (α kuralı). Bunu açarız:

     2. ~(P → Q)
     3. ~P ∨ Q
     -------------
     4. P       (2'den)
     5. ~Q      (2'den)
     

   • Şimdi 3. önerme ~P ∨ Q bir disjonksiyon (β kuralı). Bunu iki dala ayırırız:

     2. ~(P → Q)
     3. ~P ∨ Q
     -------------
     4. P
     5. ~Q
     -------------
     6. ~P   |   Q   (3'ten)
     

   • Sağ Dalın Sol Yolu (P, ~Q, ~P): P (4. satırda) ve ~P (6. satırda sol dalda) çelişmektedir. Bu yol kapalıdır. ❌
   • Sağ Dalın Sağ Yolu (P, ~Q, Q): ~Q (5. satırda) ve Q (6. satırda sağ dalda) çelişmektedir. Bu yol da kapalıdır. ❌

Çizelge Görünümü:

1. ~((P → Q) ↔ (~P ∨ Q))
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------…