Podit
Ders Çalışma Materyali: Sembolik Mantık - Önerme Eklemleri ve Doğruluk Tabloları
Kaynak Bilgisi: Bu çalışma materyali, "Sembolik Mantık" dersinin 2. ünitesine ait kopyalanmış metinler ve ilgili ders ses kaydı transkripti kullanılarak hazırlanmıştır.
📚 Giriş: Sembolik Mantığın Temelleri
Sembolik mantık, önermelerin ve çıkarımların yapısını biçimsel bir dille inceleyen temel bir mantık sistemidir. Özellikle önermeler mantığı veya doğruluk fonksiyonu mantığı olarak da bilinen önerme eklemleri mantığı, önermelerin mantıksal özelliklerini analiz etmek için kullanılır. Mantıksal doğruluk, mantıksal yanlışlık ve geçerlilik gibi kavramlar, önermelerin anlam özellikleriyle ilgilidir. Sembolik mantık, bu özellikleri önermeleri sadece sembol dizileri olarak ele alarak biçimsel olarak denetleme imkanı sunar. Bu ünite, gündelik dildeki önerme eklemlerini, doğrusal eklemlerin anlamlarını doğruluk tabloları aracılığıyla kesin bir biçimde ortaya koymayı ve sembolik önermelerin doğruluk tablolarını oluşturarak mantıksal özelliklerini analiz etmeyi amaçlamaktadır.
1. Önerme Eklemleri ve Doğruluk Fonksiyonları
1.1. Basit ve Bileşik Önermeler
✅ Basit önermeler: Başka bir önermeden türetilmemiş, yargı bildiren en temel tümcelerdir (örn: "Dünya yuvarlaktır."). ✅ Bileşik önermeler: Basit önermelerin "değil", "ve" gibi ifadelerle birleştirilmesiyle elde edilen önermelerdir. En az bir başka önermeden türetilmişlerdir. 📚 Önerme Eklemleri: Önermelere eklenerek veya önermeleri birleştirerek yeni önermeler elde etmemizi sağlayan ifadelerdir.
1.2. Doğrusal Eklemler (Doğruluk Fonksiyonları)
💡 Bir önerme ekleminin doğruluk fonksiyonu belirtmesi, bu eklemle elde edilen bileşik önermenin doğruluk değerinin, sadece eklemin anlamı ve birleştirilen önermelerin doğruluk değerlerine göre belirlenebilmesi demektir. Bu tür eklemlere doğrusal eklemler denir. ⚠️ Önemli Not: "İçin" gibi ifadeler, bileşenlerin doğruluk değerlerinden bağımsız ek bilgi gerektirdiğinden (örn: "Ali ödevini yapmadığı için okula gelmedi" önermesinin doğruluğu için Ali'nin ödev yapmaması ve okula gelmemesi dışında başka bilgilere ihtiyaç duyulması), doğrusal eklem olarak kabul edilmezler.
1.3. Temel Önerme Eklemleri ve Sembolleri
En yaygın kullanılan doğrusal önerme eklemleri ve sembolleri şunlardır:
- Değilleme Eklemİ: "değil" (~). Örn: "Dünya yuvarlak değildir."
- Tümel Evetleme Eklemİ: "ve" (∧). Örn: "Dünya yuvarlaktır ve Güneş etrafında döner."
- Tikel Evetleme Eklemİ: "veya" (∨). Örn: "Yarın sinemaya gideceğim veya kitap okuyacağım."
- Koşul Eklemİ: "ise" (→). Örn: "Yağmur yağarsa yerler ıslanır."
- Karşılıklı Koşul Eklemİ: "ancak ve ancak" (↔). Örn: "Ay tutulması gerçekleşir ancak ve ancak Dünya Güneş ile Ay arasına girerse."
Bileşik önermeler, ana eklemlerine göre adlandırılır (örn: ana eklemi koşul olan bir önerme koşullu önermedir). Koşullu önermede "ise" ifadesinden önceki kısım ön-bileşen, sonraki kısım ise ard-bileşen olarak adlandırılır.
1.4. Gündelik Dildeki Kullanımlar ve Eş Anlamlılar
Gündelik dilde önerme eklemleri farklı sözcüklerle ifade edilebilir. Mantıkta sembolleştirme yaparken, bir ifadenin önerme eklemlerinden biriyle aynı anlamda kullanıldığına karar verildiğinde, o ekleme göre sembolleştirme yapılır.
- Değilleme (~): "değildir", olumsuzluk ekleri ("-mez", "-maz").
- Tümel Evetleme (∧): "hem... hem de", "olmasına rağmen", "ama", "fakat", "ancak", "yanı sıra".
- Tikel Evetleme (∨): "ya... ya da".
- Koşul (→): "eğer... ise", "... için yeterli bir koşuldur", "... için gerekli bir koşuldur", "... durumunda", "... olduğunda".
- Karşılıklı Koşul (↔): "ancak... olması durumunda", "... için gerekli ve yeterli koşuldur". ⚠️ Dikkat: Gündelik dildeki "ve" gibi ifadeler bazen zamansal ilişki de bildirebilir ("Otomobilini hızla sürmeye devam etti ve yaşlı kadına çarptı"). Mantıkta bu tür ek anlamlar göz ardı edilerek sadece doğrusal anlamı değerlendirilir.
2. Doğruluk Tabloları
2.1. Tanım ve Oluşturma
📚 Doğruluk Tablosu: Bir önerme ekleminin hangi doğruluk fonksiyonunu belirttiğini gösteren tablodur. Bileşenlerin tüm olası doğruluk değer kombinasyonlarına karşılık gelen bileşik önermenin doğruluk değerini gösterir. 📊 Tablo Oluşturma Adımları:
- Önermede geçen tüm önerme değişkenleri (p, q, r, ...) alfabetik sırayla en sol sütunlara yazılır.
- Değişken sayısı (n) ise, tablo 2^n satırdan oluşur.
- En sağdaki değişkenin altına sırayla bir D (Doğru), bir Y (Yanlış) gelecek şekilde doldurulur.
- Bir solundaki değişkenin altına iki D, iki Y gelecek şekilde doldurulur ve bu şekilde devam edilir.
- Bileşenlere ait sütunlar, karmaşıklık derecesine göre sağa doğru oluşturulur.
- En sağdaki sütun, önermenin kendisine ait olur ve her satırda önermenin doğruluk değeri belirtilir.
2.2. Her Bir Eklem İçin Doğruluk Tabloları
- Değilleme (~): | A | ~A | |---|----| | D | Y | | Y | D | A doğruysa değili yanlış, yanlışsa değili doğrudur.
- Tümel Evetleme (∧): | A | B | A ∧ B | |---|---|-------| | D | D | D | | D | Y | Y | | Y | D | Y | | Y | Y | Y | Ancak her iki bileşeni de doğruysa doğrudur.
- Tikel Evetleme (∨): | A | B | A ∨ B | |---|---|-------| | D | D | D | | D | Y | D | | Y | D | D | | Y | Y | Y | Ancak her iki bileşeni de yanlışsa yanlıştır.
- Koşul (→): | A | B | A → B | |---|---|-------| | D | D | D | | D | Y | Y | | Y | D | D | | Y | Y | D | Ancak ön-bileşen doğru ve ard-bileşen yanlış olduğunda yanlıştır.
- Karşılıklı Koşul (↔): | A | B | A ↔ B | |---|---|-------| | D | D | D | | D | Y | Y | | Y | D | Y | | Y | Y | D | Ancak her iki bileşeni de aynı doğruluk değerini aldığında doğrudur.
2.3. Maddi Gerektirmenin Paradoksları
Koşul ekleminin (→) "maddi gerektirme" olarak adlandırılan anlamı, gündelik dildeki "ise" kullanımından farklılık gösterebilir ve bazı paradokslara yol açar:
- Ard-bileşen doğru ise, ön-bileşen ne olursa olsun koşul önermesi doğrudur (örn: "2=2 ise Dünya yuvarlaktır" ve "2≠2 ise Dünya yuvarlaktır" önermeleri doğru kabul edilir).
- Ön-bileşen yanlış ise, ard-bileşen ne olursa olsun koşul önermesi doğrudur (örn: "2≠2 ise Dünya yuvarlaktır" ve "2≠2 ise Dünya yuvarlak değildir" önermeleri doğru kabul edilir). 💡 Bu durum, "→" ekleminin gündelik dildeki "ise" sözcüğünün kısıtlanmış bir anlamını ifade ettiğini gösterir.
3. Sembolik Önermeler ve Mantıksal Analiz
3.1. Sembolik Dilin Yapısı
Önermeler mantığının sembolik dili şunları içerir:
- Önerme Değişkenleri: p, q, r, ... (basit önermeleri temsil eder)
- Önerme Eklemleri: ~, ∧, ∨, →, ↔
- Parantezler: ( ) ✅ Dizim Kuralları (Düzgün Biçimlenmiş Formüller):
- Her önerme değişkeni bir sembolik önermedir.
- A bir sembolik önerme ise, ~A da bir sembolik önermedir.
- A ve B birer sembolik önerme ise, (A ∧ B), (A ∨ B), (A → B), (A ↔ B) de sembolik önermelerdir. 💡 Okumayı kolaylaştırmak için, belirsizliğe yol açmayan bazı parantezler (örn: en dış parantezler veya eklemlerin öncelik sırasına göre) kaldırılabilir. Öncelik sırası genellikle: ~, ∧, ∨, →, ↔ şeklindedir.
3.2. Sembolik Önermelerin Doğruluk Tabloları
Bir sembolik önermenin doğruluk tablosu, o önermenin içinde geçen önerme değişkenlerinin birlikte alabileceği tüm doğruluk değerlerine göre alacağı doğruluk değerlerini gösterir. Oluşturma adımları, tek tek eklemler için olanlarla aynıdır, ancak daha karmaşık önermeler için ara sütunlar eklenir.
Örnek: (p → (q ∨ p)) önermesinin doğruluk tablosu:
| p | q | q ∨ p | p → (q ∨ p) |
|---|---|-------|---------------|
| D | D | D | D |
| D | Y | D | D |
| Y | D | D | D |
| Y | Y | Y | D |
3.3. Mantıksal Özellikler
3.3.1. Totoloji, Çelişki, Olumsallık
📚 Totoloji: Tüm doğruluk değerlemelerinde doğru olan önerme. (Örn: p ∨ ~p)
📚 Çelişki Önermesi: Tüm doğruluk değerlemelerinde yanlış olan önerme. (Örn: p ∧ ~p)
📚 Olumsal Önerme: En az bir doğruluk değerlemesinde doğru, en az bir doğruluk değerlemesinde yanlış değeri alan önerme. (Örn: p ∧ q)
- Bir totolojinin değili bir çelişki, bir çelişkinin değili ise bir totolojidir.
- Olumsal bir önermenin değili de olumsaldır.
3.3.2. Tutarlılık
📚 Tutarlı Önerme: En az bir doğruluk değerlemesinde doğru olan önerme. Hem olumsal önermeler hem de totolojiler tutarlı önermelerdir. 📚 Tutarlı Önermeler Kümesi: Bir önermeler kümesi (S), en az bir değerlemede S kümesindeki tüm önermeler D değerini alıyorsa tutarlıdır. Aksi halde tutarsızdır.
3.3.3. Mantıksal İçerme ve Eşdeğerlik
📚 Mantıksal İçerme (A |= B): A önermesinin doğru olduğu tüm değerlemelerde B önermesinin de doğru olması durumu.
📚 Mantıksal Eşdeğerlik (A ≡ B): A ve B önermelerinin her değerlemede aynı doğruluk değerini alması durumu. Bu, (A ↔ B) önermesinin totoloji olmasıyla eş anlamlıdır.
3.4. Yeterli Eklem Kümeleri
Kuramsal olarak, tüm önerme eklemlerini kullanmak gerekli değildir. Belirli eklem kümeleri, diğer tüm eklemleri ifade etmeye yeterlidir:
~ve→eklemleri yeterlidir. (Örn:p ∧ q ≡ ~(p → ~q))~ve∧eklemleri yeterlidir. (Örn:p ∨ q ≡ ~(~p ∧ ~q))~ve∨eklemleri yeterlidir. (Örn:p ∧ q ≡ ~(~p ∨ ~q))- Sheffer Çubuğu (Tikel-değilleme,
|) ve Peirce Oku (Tümel-değilleme,↓) eklemlerinin her biri tek başına diğer tüm eklemleri ifade edebilir.
3.5. Çıkarımların Geçerliliği
📚 Geçerli Çıkarım: Bir sembolik çıkarımın doğruluk tablosunda, tüm öncüllerin "D" değerini aldığı satırlardan hiçbirinde sonuç önermesi "Y" değerini almıyorsa, bu çıkarım geçerlidir.
✅ Bir A, B, ... ∴ S çıkarımının geçerli olması, A, B, ... önermelerinin S önermesini mantıksal olarak içermesiyle aynı anlama gelir.
Örnek: (p → q), (p → r) ∴ p → (q ∧ r) çıkarımının geçerliliği:
| p | q | r | p → q | p → r | q ∧ r | p → (q ∧ r) |
|---|---|---|-------|-------|-------|---------------|
| D | D | D | D | D | D | D |
| D | D | Y | D | Y | Y | Y |
| D | Y | D | Y | D | Y | Y |
| D | Y | Y | Y | Y | Y | Y |
| Y | D | D | D | D | D | D |
| Y | D | Y | D | D | Y | D |
| Y | Y | D | D | D | Y | D |
| Y | Y | Y | D | D | Y | D |
Öncüllerin (p → q) ve (p → r) her ikisinin de D olduğu satırlarda (1, 5, 6, 7, 8), sonuç önermesi (p → (q ∧ r)) da D değerini almaktadır. Bu nedenle çıkarım geçerlidir.
Sonuç
Sembolik mantık, önermelerin ve çıkarımların mantıksal yapısını biçimsel bir dille analiz etme imkanı sunar. Önerme eklemleri, basit önermeleri birleştirerek karmaşık bileşik önermeler oluşturmanın temel araçlarıdır. Doğruluk tabloları ise, bu eklemlerin anlamlarını kesin bir şekilde tanımlayarak, sembolik önermelerin totoloji, çelişki, olumsallık ve tutarlılık gibi mantıksal özelliklerini sistematik olarak belirlememizi sağlar. Ayrıca, doğruluk tabloları aracılığıyla önermeler arasındaki mantıksal içerme ve eşdeğerlik ilişkileri ile çıkarımların geçerliliği ve önerme kümelerinin tutarlılığı güvenilir bir biçimde denetlenebilir. Bu yöntemler, mantıksal düşünmenin temelini oluşturur ve argümanların sağlamlığını değerlendirmede kritik bir rol oynar.
