Çok değerli mantık Test 1

🎓 Çok değerli mantık Test 1 - Ders Notu

Bu ders notu, "Çok değerli mantık Test 1" sınavında karşılaşabileceğin temel konuları, klasik mantıkla farklarını ve çok değerli mantığın işleyişini sade bir dille özetlemektedir. Amacımız, bu karmaşık görünen konuyu senin için olabildiğince anlaşılır kılmaktır.

📌 Çok Değerli Mantık Nedir?

Geleneksel (klasik) mantıkta bir önermenin sadece iki doğruluk değeri vardır: ya doğru ($D$) ya da yanlış ($Y$). Çok değerli mantık ise bu ikili yapıyı genişleterek önermelere ikiden fazla doğruluk değeri atayan mantık sistemidir.

• Farklı Doğruluk Değerleri: Klasik mantıkta sadece "Doğru" ve "Yanlış" varken, çok değerli mantıkta "Belirsiz", "Bilinmeyen", "Olası", "İmkansız" gibi ek değerler bulunabilir.
• Neden İhtiyaç Duyulur? Günlük hayattaki belirsizlikleri, muğlak ifadeleri veya eksik bilgiyi daha iyi modellemek için kullanılır. Örneğin, "Yarın hava yağmurlu olacak" cümlesi kesin doğru ya da kesin yanlış olmayabilir, "belirsiz" bir durum içerebilir.

📌 Klasik Mantık ile Temel Farklar

Çok değerli mantık, klasik mantığın bazı temel prensiplerini sorgular veya farklı yorumlar getirir.

• Üçüncü Halin İmkansızlığı Prensibi: Klasik mantıkta bir önerme ya doğru ya yanlıştır, üçüncü bir durum olamaz. Çok değerli mantıkta ise "belirsiz" gibi üçüncü (veya daha fazla) bir durum mevcuttur. Yani, bir önerme ne doğru ne de yanlış olabilir.
• Çelişmezlik Prensibi: Klasik mantıkta bir önerme aynı anda hem doğru hem yanlış olamaz. Bazı çok değerli mantık sistemlerinde bu prensip de farklı yorumlanabilir, ancak genellikle temel ayrım doğruluk değerlerinin sayısıdır.

💡 İpucu: Klasik mantık, dünyayı siyah-beyaz görürken, çok değerli mantık grinin tonlarını da hesaba katar!

📌 Temel Kavramlar ve Doğruluk Değerleri

Çok değerli mantıkta da önermeler ve bağlaçlar kullanılır, ancak doğruluk değerleri ve bağlaçların işleyişi farklıdır.

• Önerme: Doğru veya yanlış olabilen yargı bildiren cümlelerdir. (Örn: "Bugün hava güneşli.")
• Doğruluk Değeri: Bir önermenin aldığı değerdir. En yaygın üç değerli mantık sistemlerinde bu değerler genellikle şunlardır:
  • $1$ (Doğru)
  • $0.5$ (Belirsiz / Orta Değer)
  • $0$ (Yanlış)
  Veya sembolik olarak $D, B, Y$ (Doğru, Belirsiz, Yanlış) şeklinde gösterilebilir.
• Mantık Bağlaçları: Önermeleri birbirine bağlayan sembollerdir. Çok değerli mantıkta bu bağlaçların doğruluk tabloları klasik mantıktan farklı tanımlanır. En sık karşılaşılanlar:
  • Değilleme ($\neg$): "Değildir"
  • Tümel Evetleme ($\land$): "Ve"
  • Tikel Evetleme ($\lor$): "Veya"
  • Koşul ($\rightarrow$): "İse"

📌 Üç Değerli Mantık Sistemleri (Örnekler: Lukasiewicz L3, Kleene K3)

Birçok farklı çok değerli mantık sistemi vardır. Sınavda en sık karşılaşacağın örnekler Lukasiewicz ($L_3$) ve Kleene ($K_3$) sistemleridir. Bu sistemler, doğruluk değerlerini ve bağlaçların nasıl çalıştığını belirler.

• Ortak Özellik: Her ikisi de doğruluk değerleri olarak genellikle $\{0, 0.5, 1\}$ kümesini kullanır (veya $Y, B, D$).
• Farklılık: Bağlaçların (özellikle koşul ve çelişki bağlaçlarının) doğruluk değerlerini hesaplama kuralları birbirinden farklıdır.

⚠️ Dikkat: Her sistemin bağlaçlar için farklı kuralları olduğunu unutma. Genellikle testlerde hangi sistemin kullanıldığı belirtilir.

📌 Doğruluk Tabloları

Çok değerli mantıkta da önermelerin doğruluk değerlerini ve bağlaçların sonuçlarını belirlemek için doğruluk tabloları kullanılır. Tek fark, klasik mantıktaki gibi sadece 2 satır yerine, doğruluk değeri sayısına göre daha fazla satır olmasıdır.

📝 Örnek: Üç Değerli Mantıkta Değilleme ($\neg$) Tablosu

Genellikle değilleme, klasik mantıktaki gibi tersine çevrilir, ancak orta değerin durumu değişebilir. Lukasiewicz ve Kleene'de $\neg A$ genellikle $1 - v(A)$ olarak tanımlanır.

• Eğer $v(A) = 1$ (Doğru) ise, $v(\neg A) = 0$ (Yanlış).
• Eğer $v(A) = 0.5$ (Belirsiz) ise, $v(\neg A) = 0.5$ (Belirsiz).
• Eğer $v(A) = 0$ (Yanlış) ise, $v(\neg A) = 1$ (Doğru).

Örnek Tablo Yapısı:

$A$	$\neg A$
$1$ (D)	$0$ (Y)
$0.5$ (B)	$0.5$ (B)
$0$ (Y)	$1$ (D)

📝 Örnek: Üç Değerli Mantıkta Tümel Evetleme ($\land$) Tablosu

Çoğu üç değerli mantık sisteminde, $v(A \land B)$ genellikle $\min(v(A), v(B))$ olarak tanımlanır (yani, iki önermeden doğruluk değeri daha düşük olan alınır).

• Eğer $v(A) = 1$, $v(B) = 0.5$ ise, $v(A \land B) = \min(1, 0.5) = 0.5$.
• Eğer $v(A) = 0.5$, $v(B) = 0$ ise, $v(A \land B) = \min(0.5, 0) = 0$.

💡 İpucu: Doğruluk tablolarını çizerken, her bir önermenin alabileceği tüm doğruluk değerlerini (örneğin $1, 0.5, 0$) listelemeyi unutma. İki önerme ($A, B$) varsa, $3 \times 3 = 9$ farklı durum oluşur.

Umarım bu notlar, çok değerli mantık konusunu daha iyi anlamana yardımcı olur ve sınavında başarılar dilerim! 💪