3. Sembolik Mantık

Sembolik Mantık, çıkarımları sembolik bir dille denetlemek için geliştirilen mantıktır. Klasik Mantık M.Ö. 4. yüzyılda ilk olarak Aristoteles tarafından ortaya konulan ve yüzyıllar (hatta binyıllar) içinde bir değişikliğe uğramadan gelen bir mantıktır. 19. yüzyılın sonlarına gelindiğinde ise başta Matematik ve Fizik olmak üzere bilimsel alandaki gelişmeler niteliksel/kavramsal bir mantık olan Klasik Mantığın yetmemesine ve daha kesin sonuçlar verecek, ifadeleri sembolleştirerek denetlemeler yapmaya imkan verecek yeni bir mantık arayışına yol açmıştır.

Sembolik mantık günlük dildeki önermeleri semboller yardımıyla çok anlamlılığa ve belirsizliğe yer vermeden denetleyebilmeyi sağlar.

Sembolik Mantık Konu Başlıkları:

3.A. Önerme Eklemleri Mantığı

3.A.1. Çözümleyici Çizelge ve Çözümleyici Çizelge ile Denetlemeler

3.A.2. Önerme Eklemleri Mantığında Denetlemeler

3.A.3. Çıkarımın Geçerliliğini Denetleme, Çıkarımlarda Geçerliliğin Denetlenmesi

3.B. Niceleme (Yüklemler) Mantığı

Açık Lise sınavlarına hazırlanmanın en kolay hali: AçıkTercih AÖL Test Çöz!

Mobil Uygulamamızı İNDİRİN! AÖL Yeni Müfredat Çıkmış Sınav Sorularını Çözün!