Sembolik Mantık Konu Anlatımı | TYT+AYT Felsefe

İçindekiler

1Sembolik Mantık Nedir?

Sembolik mantık, diğer adıyla modern mantık; doğal dilin belirsizliklerinden kurtulmak amacıyla mantıksal çıkarımları matematiksel sembollerle ifade eden disiplindir. Klasik (Aristoteles) mantığının sınırlarını aşarak, daha karmaşık önermeleri denetlenebilir hale getirir. Bu sistemde kelimeler yerine semboller kullanarak düşüncenin yapısını 'geometrik' bir netliğe kavuştururuz.

Neden Sembolik Mantık?

Doğal dildeki 've', 'veya', 'ise' gibi eklemler her zaman aynı kesinliği vermez. Sembolik mantık, bu eklemleri sabit kurallara bağlayarak hatasız bir akıl yürütme zemini oluşturur.

Temel Semboller Rehberi

\neg

Değilleme (Değil)

\land

Tümel Evetleme (Ve)

\lor

Tikel Evetleme (Veya)

\rightarrow

Koşul (İse)

\leftrightarrow

Karşılıklı Koşul (Ancak ve Ancak)

2Önermeler Mantığı ve Eklemler

Önermeler mantığında, önermeler basit (atomik) ve bileşik (moleküler) olarak ikiye ayrılır. Basit önermeler $p, q, r, s$ gibi harflerle temsil edilirken, bu önermeler mantık eklemleriyle birleşerek bileşik önermeleri oluşturur.

Ana Eklem Kuralı

Bir bileşik önermede en son işleme giren eklem 'ana eklem'dir. Bu eklem, önermenin türünü belirler. Örneğin

(p \land q) \rightarrow r

önermesinde ana eklem

\rightarrow

(koşul) eklemidir.

İşlem Adı	Sembol	Doğruluk Koşulu
Tümel Evetleme	\land	Her iki önerme de doğru (D) ise sonuç doğrudur.
Tikel Evetleme	\lor	En az bir önerme doğru (D) ise sonuç doğrudur.
Koşul	\rightarrow	Sadece D \rightarrow Y durumunda yanlıştır.
Karşılıklı Koşul	\leftrightarrow	Değerler aynı ise (D-D veya Y-Y) doğrudur.

3Doğruluk Tabloları ile Denetleme

Bir önermenin geçerli mi, tutarlı mı yoksa eşdeğer mi olduğunu anlamak için doğruluk tablolarını kullanırız. Satır sayısını $2^n$ formülüyle belirleriz ( $n$ : önerme değişkeni sayısı).

2^n

n tane farklı önerme harfi için oluşturulacak satır sayısı.

p \rightarrow q

önermesini doğruluk tablosunda gösteriniz.

1. İki değişken olduğu için

2^2 = 4

satır oluşturulur.

2. p sütununa iki D, iki Y yazılır.

3. q sütununa bir D, bir Y şeklinde sıralanır.

4. Koşul kuralı uygulanır.

D-Y-D-D sütunu elde edilir.

4Tutarlılık, Geçerlilik ve Eşdeğerlik

Sembolik mantıkta bir önermenin niteliğini belirlemek sınavda en çok karşımıza çıkan kısımdır. Bu kavramları iyi ayırt etmelisin.

Temel Tanımlar

Tutarlılık: Doğruluk tablosunda en az bir tane Doğru (D) değerinin olmasıdır. Geçerlilik: Tüm satırların Doğru (D) olmasıdır. Eşdeğerlik: İki önermenin tüm satırlarda aynı doğruluk değerine sahip olmasıdır.

De Morgan Kuralları

\neg(p \land q) \equiv \neg p \lor \neg q

De Morgan kuralları, bileşik önermelerin değillemesini alırken sembollerin nasıl dönüştüğünü gösterir.

\land

sembolü

\lor

sembolüne,

\lor

sembolü ise

\land

sembolüne dönüşür.

5Niceleme Mantığı (Yüklemler Mantığı)

Önermeler mantığı, önermelerin iç yapısını (özne-yüklem ilişkisini) incelemez. Niceleme mantığı ise 'Her' ve 'Bazı' gibi niceleyicileri kullanarak bu yapıyı analiz eder.

Niceleyiciler

\forall x

Tümel Niceleyici (Her x...)

\exists x

Tikel Niceleyici (Bazı x'ler...)

Bir önermenin yüklemler mantığındaki sembolleştirmesi şu şekildedir: 'Ali ölümlüdür' ifadesi $Fa$ şeklinde gösterilir (F: yüklem, a: özel isim).

6Sınavda Sembolik Mantık ve Stratejiler

AYT'de bu konu genellikle 'Sembolleştirme' veya 'Doğruluk Çizelgesi' üzerinden gelir. Karşına çıkan metni sembollere dökerken eklemlere çok dikkat etmelisin.

Hızlı Taktik

Eğer bir çıkarımın geçerliliği soruluyorsa; öncüller doğru, sonuç yanlış olduğu bir durum var mı ona bak. Eğer varsa o çıkarım geçersizdir!

'Hava yağmurlu ise yerler ıslaktır' önermesinin sembolik karşılığı nedir?

1. Hava yağmurlu = p

2. Yerler ıslak = q

3. ise bağlacı = \rightarrow

p \rightarrow q

7Önemli Noktalar

Mutlaka Bilmen Gerekenler

Ana eklem, önermenin türünü ve çözüm sırasını belirler.
Bir önerme geçerliyse mutlaka tutarlıdır; ancak her tutarlı önerme geçerli değildir.
De Morgan kuralları değilleme işlemlerinde hayat kurtarır.
Doğruluk tablosunda $2^n$ satır sayısı formülünü unutma.
Tümel niceleyici (\forall) evrendeki tüm elemanlar için geçerliliği şart koşar.
Niceleme mantığında özeller harf (a, b, c), değişkenler (x, y, z) ile gösterilir.

Sık Yapılan Hatalar

İse (\rightarrow) eklemini Veya (\lor) ile karıştırmak.
Ana eklemi yanlış belirleyip doğruluk tablosunu hatalı kurmak.
Önermenin değilini (\neg) alırken ana eklemi değiştirmeyi unutmak.
Geçerlilik ve tutarlılık kavramlarını birbirinin yerine kullanmak.
Niceleme mantığında parantez kullanımına dikkat etmemek.

8Pratik Sorular

Öğrendiklerini test et! Aşağıdaki soruları çözmeye çalış.

Soru 1Kolay

\neg(p \land q)

önermesinin eşdeğeri aşağıdakilerden hangisidir?

Soru 2Orta

Üç farklı önerme değişkeninden (

p, q, r

) oluşan bir doğruluk tablosunda toplam kaç satır bulunur?

Soru 3Orta

p \rightarrow q

önermesinin yanlış (Y) değerini aldığı tek durum hangi doğruluk değerleri kombinasyonundadır?

Soru 4Zor

\forall x (Fx \rightarrow Gx)

önermesinin sözel karşılığı ne olabilir?

Soru 5Zor

Bir çıkarımın geçerli olması için öncüller ve sonuç arasındaki doğruluk tablosu ilişkisi nasıl olmalıdır?

Çözümleri Görmek İster misin?

Soruları fotoğrafla, AI koçun adım adım çözümü göstersin. Takıldığın yeri sorabilirsin!

Ücretsiz kullanmaya başla

Sıkça Sorulan Sorular

Sembolik mantık TYT'de çıkar mı?

Hayır, sembolik mantık doğrudan AYT müfredatına dahildir. TYT'de daha çok temel kavramlar ve klasik mantık esintileri görülür.

Doğruluk tablosu yapmadan soru çözülebilir mi?

Evet, temel kuralları ve De Morgan ilkelerini ezberlerseniz birçok soruyu tablo çizmeden pratik yolla çözebilirsiniz.

En zor eklem hangisidir?

Öğrenciler genellikle 'İse' (\rightarrow) ekleminin sadece D-Y durumunda Y olması kuralını karıştırırlar, bu ekleme dikkat edilmelidir.

Sembolik mantık neden zordur?

Doğal dilden tamamen koptuğu ve matematiksel bir yapıya büründüğü için soyut düşünme becerisi gerektirir.

Ana eklem nasıl bulunur?

Parantezlerin dışındaki veya tüm önermeyi kapsayan en son işlem eklemi ana eklemdir.

Niceleme mantığı nedir?

Önermelerin miktarını (her, bazı) ve yüklemlerini sembolize eden modern mantık dalıdır.

İlgili Konular

Çıkarım ve Kıyas

Klasik mantığın temel akıl yürütme biçimleri.

Önerme ve Önerme Türleri

Mantığın temel birimi olan önermelerin yapısı.

Kavram ve Terim

Düşüncenin en küçük yapı taşlarının analizi.