AYT ÇÖZÜMLEYİCİ ÇİZELGE, NİCELEME MANTIĞI VE ÇOK DEĞERLİ MANTIK

AYT çözümleyici çizelge, niceleme mantığı ve çok değerli mantık konu anlatımı kapsamında ağaç yöntemiyle denetleme, niceleyicilerin sembolleştirilmesi, özelleme kuralları, üç değerli mantık ve bulanık mantık işlenecektir.
AYT felsefe konularının tamamına AYT konu anlatımı arşivinden ulaşabilirsiniz.

Çözümleyici Çizelgenin Temeli

Ağaç Yönteminin Amacı ve Temel Kavramları

Çözümleyici çizelge, bileşik önermeleri doğruluk değerleri tablosu kurmadan, onları daha küçük bileşenlerine ayırarak denetleyen bir ağaç yöntemidir. Başlangıçta incelenecek önerme ya da önermeler yazılır; eklemler çözülür ve işlem, artık parçalanamayan çekirdek önermelere ulaşıncaya kadar sürdürülür. p, q, ~p ve ~q gibi yapılar çekirdektir.

Ağaçtaki her düşey ilerleme bir yol, ayrılma noktası ise yeni dallar oluşturur. Bir bileşik önermenin iki bileşeni aynı yorumda birlikte doğru olmak zorundaysa alt alta; alternatif yorumları gösteriyorsa ayrı dallara yazılır. Bu nedenle ağaç yalnız bir çizim değil, önermeyi doğru yapan olası yorumların düzenli gösterimidir.

Çengel, Çatal, Adım ve Kaynak Numarası

Çengel, iki bileşenin aynı yol üzerinde alt alta yazılmasıdır. p ∧ q, ~(p ∨ q) ve ~(p ⇒ q) çengel türü açılımlar üretir. Çatal ise iki alternatif yol açar; p ∨ q, ~(p ∧ q) ve p ⇒ q bu gruptadır. Karşılıklı koşul ve değili, her dalda iki önermenin alt alta bulunduğu çatallı yapılardır.

Adım numarası, çözümleme sırasında işlenen satırın sırasını; kaynak numarası, elde edilen bileşenlerin hangi satırdan çıktığını gösterir. Numaralar mantıksal sonucu değiştirmez fakat karmaşık ağaçta aynı önermenin iki kez çözülmesini önler ve her dalın izlenebilirliğini sağlar.

Sekiz Çözümleme Kuralı ve De Morgan Eşdeğerlikleri

Çözümleme kuralları, bir bileşik önermeyi ona eşdeğer daha yalın yapılara dönüştürür. Çatalda ayrılan yollar birbirinin devamı değildir; bir dalda bulunan bilgi diğer dala taşınamaz. Çengeldeki bileşenler ise aynı yorumun birlikte sağlamak zorunda olduğu koşullardır.

Örneğin p ⇒ (q ∨ r) önce koşul kuralıyla ~p ve q ∨ r dallarına ayrılır. Sağ dalda q ∨ r hâlâ bileşik olduğu için q ve r diye yeniden çatallanır. Buna karşılık ~(p ⇒ (q ∨ r)), p ile ~(q ∨ r)’yi aynı yola yazar; ikinci ifade de ~q ve ~r olarak alt alta açılır.

Çözümleme Sırası ve Çekirdek Önermeler

Başlangıç önermesinin ana eklemi belirlenir ve uygun kural uygulanır. Aynı anda birden çok bileşik önerme varsa alt alta yazma üreten kuralların önce çözülmesi, gereksiz dal çoğalmasını azaltır; ardından çatallı kurallar uygulanır. Çatal açıldıktan sonra çözüm her dal için ayrı sürdürülür.

Bir yolda p ile ~p gibi bir çekirdek önerme ve değili bir araya geldiği anda o yol kapanır. Kapalı yoldaki çözülmemiş başka bir bileşik önerme sonucu değiştiremeyeceği için işlenmez. Buna karşılık açık yolda kalan bütün bileşik yapılar çekirdeklere ayrılmadan denetim tamamlanmış sayılmaz.

Açık Yol, Kapalı Yol ve Çelişki

Bir yol üzerinde hem p hem ~p bulunması çelişkidir ve yol kapalıdır. p bir dalda, ~p başka bir dalda ise çelişki yoktur; çünkü dallar farklı yorumları temsil eder. Üzerinde böyle bir karşıt çift bulunmayan tamamlanmış yol açık yoldur ve en az bir doğrulayıcı yorum verir.

Çözümleyici Çizelgeyle Denetlemeler

Tek Önermenin Tutarlılığı

Bir önermenin tutarlı olması, onu doğru yapan en az bir yorumun bulunmasıdır. Önerme olduğu gibi başlangıca yazılır. Tam çözümlemede en az bir açık yol kalırsa tutarlı; bütün yollar kapanırsa tutarsızdır. Açık yoldaki çekirdekler doğrulayıcı yorumu verir.

Örneğin (p ∧ ~p) ∨ q iki dala ayrılır. p ve ~p’nin bulunduğu dal kapanır; yalnız q’nun bulunduğu dal açık kalır. Önerme her yorumda doğru değildir fakat q doğru olduğunda doğrulandığı için tutarlıdır.

Birden Fazla Önermenin Bir Arada Tutarlılığı

Birden fazla önerme, hepsini aynı anda doğru yapan en az bir ortak yorum varsa bir arada tutarlıdır. Önermeler başlangıçta alt alta yazılır ve tek bir ağaçta çözülür. Açık bir yol bütün önermelerin ortak doğrulayıcı yorumunu; bütün yolların kapanması ise ortak yorum bulunmadığını gösterir.

Önermenin Geçerliliği

Bir önerme bütün yorumlarda doğruysa geçerlidir. Çözümleyici çizelge, yanlışlayıcı yorum aradığı için geçerliliği denetlenecek önermenin değili başlangıca yazılır. Değillenmiş önerme tutarsız, yani bütün yollar kapalıysa asıl önerme geçerlidir. Bir açık yol bulunursa bu yol asıl önermeyi yanlışlayan karşı örnektir.

Önermelerin Eşdeğerliği

K ve L önermeleri her yorumda aynı doğruluk değerini alıyorsa eşdeğerdir ve K ≡ L biçiminde gösterilir. Çizelgede önce K ⇔ L kurulur, sonra bütün ifadenin değili çözülür. Bütün yollar kapanırsa K ve L’nin farklı değer aldığı hiçbir yorum yoktur; bu nedenle eşdeğerdir.

Çıkarımın Geçerliliği

Bir çıkarım, öncüllerin doğru ve sonucun yanlış olduğu hiçbir yorum yoksa geçerlidir. Bu nedenle çizelgede öncüller değişmeden, sonuç ise değillenerek alt alta yazılır. Bütün yollar kapanırsa karşı örnek yoktur ve çıkarım geçerlidir; açık yol kalırsa o yoldaki değerler geçersizliği kanıtlayan karşı örnektir.

Niceleme Mantığı

Niceleme Mantığının Amacı ve Sembolleri

Önermeler mantığı bir cümleyi p gibi tek bir harfle gösterebilir; fakat cümledeki özne–yüklem yapısını ve “her”, “bazı” gibi nicelikleri görünür kılmaz. Niceleme mantığı ya da yüklemler mantığı, önermenin iç yapısını; bireyleri, özellikleri ve nicelik bildiren sözcükleri ayrı sembollerle gösterir.

Belirli bir birey küçük harfli ad değişmezi ile, özellik ya da bağıntı büyük harfli yüklem değişmezi ile gösterilir. “Ada öğrencidir.” cümlesinde Ada=a ve “öğrencidir”=F seçilirse önerme Fa olur. “Ada, Bora’dan uzundur.” iki bireyli R bağıntısıyla Rab biçiminde gösterilebilir. x, y ve z ise belirli bir bireyi göstermeyen değişkenlerdir.

Açık Önerme, Kapalı Önerme ve Evren

Fx, “x F özelliğine sahiptir” anlamında açık önermedir. x’in hangi varlığı gösterdiği belirlenmediği için tek başına doğru ya da yanlış değildir. Değişkenin yerine a gibi bir ad değişmezi konulduğunda Fa elde edilir; artık belirli bir yargı kurulduğu için bu bir kapalı önermedir ve doğruluk değeri taşır.

Evren, değişkenin yerine geçebilecek bütün varlıkların kümesidir. Aynı Fx açık önermesi farklı evrenlerde farklı açılımlara sahiptir. Evren belirtilmeden “her x” ya da “bazı x” ifadesinin kapsamı kesinleşmez.

Özelleme, Gerçekleme ve Açılım

Özelleme, açık önermedeki değişkenin yerine evrenden belirli bir terim koymaktır. Ortaya çıkan kapalı önerme doğruysa bu özelleme aynı zamanda gerçeklemedir. Yanlış kapalı önerme de özellemedir fakat gerçekleme değildir. Açılım ise evrendeki bütün terimlerle elde edilen özelleme önermelerinin tamamıdır.

E={a,b,c} için Fx’in açılımı Fa, Fb ve Fc’dir. Burada açılım ile niceleyicili önermenin doğruluk koşulu karıştırılmamalıdır: açılım yalnız bütün örnekleri listeler; ∀xFx bunların hepsini ∧ ile, ∃xFx ise en az birini ∨ ile ilişkilendirir.

Tümel ve Tikel Niceleyiciler

Tümel niceleyici ∀, “her”, “bütün”, bağlama göre “hiçbir” gibi evrenin tamamını kapsayan yapıları gösterir. ∀xFx, evrendeki her x’in F olduğunu bildirir. Tikel niceleyici ∃ ise “bazı”, “en az bir”, “kimi” anlamındadır; ∃xFx, evrende F olan en az bir varlık bulunduğunu söyler.

“Hiçbir öğrenci geç kalmadı.” cümlesi ∀x~Gx ya da eşdeğer olarak ~∃xGx biçiminde gösterilebilir. “Her öğrenci çalışkan değildir.” Türkçede iki anlama gelebilir: herkesin çalışkan olmaması ∀x~Çx veya herkesin çalışkan olduğu iddiasının yanlışlığı ~∀xÇx. İkinci biçim yalnız en az bir çalışkan olmayan bulunduğunu söyler.

Tekil, Genel, Basit ve Bileşik Önermeler

İçinde niceleyici bulunmayan ve belirli bireylerden söz eden önerme tekildir. Fa tekil–basit, Fa ∨ Gb tekil–bileşiktir. Niceleyici taşıyan önerme geneldir. ∀xFx ve ∃xGx genel–basit; ∀x(Fx ⇒ Gx) ya da ∀xFx ∨ ∃xGx genel–bileşiktir.

Basitlik, günlük dilde cümlenin kısa oluşuna değil mantıksal yapıda eklem bulunup bulunmamasına bağlıdır. ∀xFx niceleyici taşısa da önerme eklemi içermediği için basit; Fa ∧ Gb belirli bireyleri anlatsa da ∧ içerdiği için bileşiktir.

Niceleyici Değilleme Kuralları

Bir niceleyicili önermenin değili alınırken yalnız yüklemin önüne ~ getirmek yetmez; niceleyici de değişir. “Her x F’dir”in yanlış olması, “en az bir x F değildir” demektir: ~∀xFx ≡ ∃x~Fx. “En az bir x F’dir”in yanlış olması ise “her x F değildir” demektir: ~∃xFx ≡ ∀x~Fx.

Tümel ve Tikel Özelleme Kuralları

Çözümleyici çizelgede tümel özelleme, ∀xFx’i açık yolda bulunan her ad değişmezi için uygulamayı gerektirir. Yolda a ve b geçiyorsa Fa ve Fb yazılır. Daha sonra yeni bir c adı ortaya çıkarsa tümel önerme c için de yeniden özellenir.

Tikel özelleme, ∃xFx’in doğruluğuna tanıklık eden bir bireyi yeni bir adla gösterir. Bu nedenle aynı yolda daha önce kullanılmamış bir ad değişmezi seçilir; örneğin Fc yazılır. Yeni adın daha önceki adlarla aynı bireyi gösterip göstermediği ek bilgi olmadan belirlenmez. Mevcut bir adı kullanmak, var olduğu söylenen bireyi gerekçesiz biçimde daha önceki bireyle özdeşleştirebilir.

Niceleme Mantığında Çözümleyici Çizelge Sırası

Niceleyicili bir çizelgede önce dıştaki niceleyici değilleri içeri alınır. Ardından çengel kuralları uygulanır; tikel önermeler yeni adlarla özellenir; gerekli çatallar açılır ve son olarak tümel önermeler her dalda görünen bütün adlar için özellenir. Yeni bir ad ortaya çıktığında ilgili tümel önermeler o ad için yeniden ele alınır.

Niceleme Mantığında Tutarlılık ve Geçerlilik

Tutarlılıkta niceleyicili önerme olduğu gibi çözülür; en az bir açık yol yeterlidir. Geçerlilikte önermenin tamamı değillenir; bütün yolların kapanması gerekir. Açık yol yalnız yüklem harflerini değil, o yolda kullanılan ad değişmezlerini de içeren bir karşı yorum verir.

Niceleme Mantığında Eşdeğerlik ve Çıkarım

Niceleyicili iki önermenin eşdeğerliği de karşılıklı koşulun değiliyle denetlenir. Özellikle niceleyici değilleme kuralları bu yolla doğrulanabilir. Çıkarımda öncüller aynen, sonuç değillenerek yazılır; tikel tanıklar oluşturulduktan sonra tümel kurallar bu adlara uygulanır.

Çok Değerli Mantık

İki Değerli Mantığın Sınırı

Klasik önermeler ve niceleme mantığında her kapalı önerme doğru ya da yanlış olmak üzere iki değer alır. Ancak geleceğe ilişkin, bilgisi eksik veya dereceli kavram içeren bazı ifadeleri yalnız bu iki kutba yerleştirmek yetersiz kalabilir. Çok değerli mantık, doğru ve yanlış dışında üçüncü ya da daha fazla değere izin veren mantık sistemlerinin genel adıdır.

Bu genişleme, “her önerme keyfî biçimde herhangi bir değer alır” demek değildir. Kullanılan sistem hangi değerlerin bulunduğunu ve eklemlerin bu değerlerle nasıl çalıştığını ayrıca tanımlar. Üç değerli mantık kesikli bir üçüncü değer eklerken bulanık mantık doğruluğu derecelerle ifade eder.

Üç Değerli Mantık

Üç değerli mantık, doğru (D) ve yanlış (Y) değerlerine üçüncü bir belirsiz (B) değer ekler. Örneğin gelecekte gerçekleşip gerçekleşmeyeceği henüz belirlenemeyen bir olay, seçilen üç değerli sistemde B ile temsil edilebilir. B, “yarı doğru” olmak zorunda değildir; doğru ya da yanlış olarak belirlenemeyen ayrı bir değerdir.

Bulanık Mantık ve Doğruluk Dereceleri

Bulanık mantık, bir önermenin ya da bir varlığın bir kavrama üyeliğini 0 ile 1 arasında derecelerle ifade eder. 0 üyeliğin bulunmadığını, 1 tam üyeliği; aradaki değerler kısmi üyeliği gösterir. “Oda sıcaktır” yargısı 24 °C’de 0,6; 30 °C’de 0,9 üyelik derecesi alabilir. Bu, sıcaklığın gerçekleşme olasılığı değil, ölçülen durumun “sıcak” kümesine ne derece ait olduğudur.

Bulanık kümeler keskin sınırların gündelik kavramları zayıf modellediği durumlarda kullanılır. “Az yoğun”, “orta yoğun”, “çok yoğun” gibi kümeler kısmen örtüşebilir; aynı ölçüm birden fazla kümeye farklı derecelerde üye olabilir. Denetleyici sistem, bu dereceleri kurallarla birleştirip uygun çıkışı belirler.

Bulanık Mantığın Uygulamaları

Akıllı buzdolabı, oda iklimlendirme, trafik ışığı ve aydınlatma gibi kontrol sistemleri; sıcaklık, doluluk, yoğunluk ya da ışık miktarını “az–orta–çok” gibi örtüşen kümelerle değerlendirebilir. Örneğin trafik yoğunluğu yüksek ve yaya talebi orta derecedeyse yeşil ışık süresi tek bir sert eşik yerine bu derecelerin birleşimine göre ayarlanabilir.

Bu yaklaşım yapay zekâ, karar destek ve doğal dil işleme alanlarında da kullanılabilir. Ancak bir sistemin “akıllı” olması tek başına bulanık mantık kullandığını göstermez; girdilerin dereceli kümelerle temsil edilmesi ve kuralların bu üyelik derecelerini işlemesi gerekir.