1. Giriş
Birinci dereceden mantık veya yüklem hesabıyüklemler mantığıÖnermelerin içine, nesnelere ve özelliklerine bakan mantık.Maddenin tamamını oku olarak da bilinen yüklem mantığı, nesneler, özellikleri ve nesneler arasındaki ilişkiler hakkında akıl yürütmemize olanak tanıyan önermeönermeYa doğru ya yanlış olan, ikisi birden olmayan bir ifade.Maddenin tamamını oku mantığının güçlü bir uzantısıdır. Önerme mantığı ifadeleri atomik birimler olarak ele alırken, yüklem mantığı ifadelerin içine bakma ve iç yapılarını ifade etme yeteneği sağlar.
Bu ifade gücü, yüklem mantığını matematik, bilgisayar bilimi, yapay zeka, dilbilim ve biçimsel doğrulama için gerekli kılar. Matematiksel yapıları, veritabanı sorgularını, yazılım özelliklerini ve bilgi temsil sistemlerini tanımlamak için mantıksal temel sağlar.
2. Önerme Mantığının Sınırlamaları
Önerme mantığı, tam ifadeler hakkında akıl yürütmek için yararlı olsa da, genellemeleri, nesnelerin özelliklerini veya ilişkileri ifade etmemiz gerektiğinde önemli sınırlamaları vardır. Önerme mantığında, "Sokrates bir insandır" ve "Platon bir insandır" gibi ifadeler, ortak bir yapıya sahip olmalarına rağmen ayrı, ilgisiz önermeler (P ve Q) olarak temsil edilmelidir.
Önerme mantığı "tüm", "bazı", "her" veya "vardır" içeren ifadeleri ifade edemez. "Tüm insanlar ölümlüdür" ve "Sokrates bir insandır" gibi ifadeler arasındaki mantıksal ilişkiyi yakalayamaz, bu da mantıksal olarak "Sokrates ölümlüdür" sonucunu doğurmalıdır. İşte yüklem mantığının gerekli olduğu yer burasıdır.
Sınırlama Örneği
"Tüm insanlar ölümlüdür" ifadesini ele alalım. Önerme mantığında bunu sadece tek bir önerme H olarak temsil edebiliriz. Ancak bu "tüm insanlar" ve "ölümlü olma" özelliğini içeren iç yapıyı yakalayamaz. Yüklem mantığı bunu daha kesin olarak ∀x (Human(x) → Mortal(x)) şeklinde ifade etmemize olanak tanır.
3. Yüklemler
Yüklem, bir veya daha fazla nesneye atfedilebilen bir özellik veya ilişkidir. Yüklemleri, nesneleri girdi olarak alan ve çıktı olarak doğruluk değerleridoğruluk değeriBir önermenin alabileceği iki değerden biri: doğru veya yanlış.Maddenin tamamını oku (doğru veya yanlış) döndüren fonksiyonlar olarak düşünün. Yüklemler, nesnelerin özelliklerini ve nesneler arasındaki ilişkileri ifade etmemize olanak tanır.
Yüklemler, parantez içinde bir veya daha fazla argümanargümanBir sonucu desteklemek için öne sürülen öncüller.Maddenin tamamını oku izleyen büyük harfler kullanılarak gösterilir. Örneğin, P(x) "x, P özelliğine sahiptir" anlamına gelirken, R(x, y) "x, R ilişkisi ile y ile ilişkilidir" anlamına gelir.
Yüklem Örnekleri
- Human(x) - "x insandır" (tekli yüklem, bir argüman)
- GreaterThan(x, y) - "x, y'den büyüktür" (ikili yüklem, iki argüman)
- Between(x, y, z) - "x, y ve z arasındadır" (üçlü yüklem, üç argüman)
- Prime(n) - "n bir asal sayıdır" (tekli yüklem)
4. Niceleyiciler
NiceleyicilerniceleyiciBir yüklemin kaç nesne için geçerli olduğunu söyleyen sembol.Maddenin tamamını oku, yüklemin geçerligeçerlilikHiçbir yorum öncülleri doğru, sonucu yanlış yapmaz.Maddenin tamamını oku olduğu söylem evrenindeki örneklerin miktarını belirten özel sembollerdir. İki temel niceleyici:
Evrensel Niceleyici (∀)
Bir yüklemin söylem evrenindeki tüm öğeler için geçerli olduğunu ifade eder. Düşünülen evrendeki her nesne hakkında bir iddiada bulunur.
Gösterim: ∀x P(x) ("tüm x için, P(x) geçerlidir" olarak okunur)
Örnek: ∀x (Human(x) → Mortal(x)) - "Tüm x için, eğer x insan isekoşulp → q, yalnızca p doğru ve q yanlışken yanlıştır.Maddenin tamamını oku, o zaman x ölümlüdür"
Varlık Niceleyicisi (∃)
Yüklemin geçerli olduğu etki alanında en az bir öğe olduğunu ifade eder. Belirli bir özelliğe sahip bir şeyin varlığını iddia eder.
Gösterim: ∃x P(x) ("öyle bir x vardır ki P(x)" olarak okunur)
Örnek: ∃x Prime(x) - "Asal olan bir sayı vardır"
5. Yüklem Mantığının Yapısı
Bir yüklem mantığı ifadesinin birkaç temel bileşeni vardır:
Terimler
Sabitler ('Sokrates' gibi belirli nesneler), değişkenlerönerme değişkeniHerhangi bir önermenin yerini tutan p veya A gibi bir harf.Maddenin tamamını oku (x, y gibi yer tutucular) ve fonksiyonlar (terimler üreten işlemler).
Formüller
İyi oluşturulmuş formüller (WFF'ler), yüklemleri, niceleyicileri, değişkenleri ve mantıksal bağlaçları birleştiren sözdizimsel olarak doğru ifadelerdir.
Bağlı ve Serbest Değişkenler
Niceleyiciler tarafından bağlanan değişkenler (örneğin ∀x'teki x), nicelendirilmemiş serbest değişkenlere karşılık.
6. Örnekler
İşte yüklem mantığının ifade gücünü gösteren bazı örnekler:
Matematiksel İfade
∀x ∀y ((x > 0 ∧ y > 0) → (x + y > 0)) - "Tüm pozitif x ve y sayıları için toplamları pozitiftir"
İlişkiler
∀x (Parent(x, y) → ∃z Loves(x, z)) - "Tüm x için, eğer x, y'nin ebeveyni ise, o zaman x'in sevdiği biri z vardır"
Karmaşık İfade
∃x (Student(x) ∧ ∀y (Course(y) → Enrolled(x, y))) - "Tüm derslere kayıtlı olan bir öğrenci vardır"
Practice Exercises
Test your understanding of predicate logic
7. Niceleyicilerle Mantıksal Eşdeğerlikler
Önerme mantığında mantıksal eşdeğerlikler olduğu gibi, yüklem mantığında da niceleyicileri içeren önemli eşdeğerlikler vardır:
- Evrensel Niceleyicinin Olumsuzlanması: ¬(∀x P(x)) ≡ ∃x ¬P(x) - "Tüm x'ler P özelliğine sahip değildir" demek "P özelliğine sahip olmayan bir x vardır" ile eşdeğerdir
- Varlık Niceleyicisinin Olumsuzlanması: ¬(∃x P(x)) ≡ ∀x ¬P(x) - "P özelliğine sahip bir x yoktur" demek "Tüm x için, x P özelliğine sahip değildir" ile eşdeğerdir
- Dağılma Yasaları: ∀x (P(x) ∧ Q(x)) ≡ (∀x P(x)) ∧ (∀x Q(x)) - Evrensel niceleyiciler bağlaçmantıksal bağlaçDaha basit önermelerden bileşik bir önerme kuran sembol.Maddenin tamamını oku üzerinde dağılır
Practice predicate logic equivalences →
8. Uygulamalar
Yüklem mantığı bilgisayar bilimi ve matematiğin birçok alanı için temeldir:
Veritabanları
SQL gibi ilişkisel veritabanı sorgu dilleri, sorguların veritabanı ilişkileri üzerinde yüklemleri ifade ettiği yüklem mantığı ilkelerine dayanır.
Biçimsel Doğrulama
Yazılım ve donanım sistemlerinin biçimsel doğrulaması, doğruluk özelliklerini belirtmek ve kanıtlamak için büyük ölçüde yüklem mantığına dayanır.
Yapay Zeka
Yüklem mantığı, yapay zeka sistemlerinde bilgi temsilini sağlar, makinelerin otomatik planlama ve uzman sistemlerinde nesneler, özellikleri ve ilişkileri hakkında akıl yürütmesine olanak tanır.
Matematik
Hemen hemen tüm matematiksel ifadeler ve ispatlar, sayıların özelliklerini tanımlamaktan matematiksel yapılar hakkında teoremleri ifade etmeye kadar yüklem mantığını kullanır.
9. Önerme Mantığı ile İlişki
Yüklem mantığı, yüklemler ve niceleyiciler ekleyerek önerme mantığı üzerine inşa edilir. Önerme mantığındaki tüm mantıksal bağlaçlar (¬, ∧, ∨, →, ↔) geçerli kalır ve yüklem mantığında aynı şekilde çalışır. Fark, atomik önermeleri birleştirmek yerine, yüklemleri ve nicelendirilmiş ifadeleri birleştirmemizdir.
Her önerme mantığı ifadesi, yüklem veya niceleyici kullanılmayan yüklem mantığının özel bir durumu olarak görülebilir. Tersine, yüklem mantığı, genel ifadeler yerine belirli örneklerle uğraşırken önerme mantığına indirgenebilir.
Mantık Hesaplayıcısını Kullanma
Bu hesaplayıcı önerme mantığı ve Boolean cebrine odaklanırken, önerme ve yüklem mantığı arasındaki ilişkiyi anlamak her iki sistemin de kavranışınızı derinleştirir. Burada çalıştığınız operatörler ve doğruluk tablolarıdoğruluk tablosuHer değer ataması için bir satır ve formülün oradaki değeri.Maddenin tamamını oku, daha ifadeci yüklem mantığının temelini oluşturur.
Mantık Hesaplayıcısını deneyin →
Learn Propositional Logic
Review the foundational concepts