Sembolik Mantık
Sembolik mantık SUNU İndir
Sembolik mantık PDF İndir

3. SEMBOLİK MANTIK

3.1. Sembolik Mantığın Ayırt Edici Özellikleri ve Önemi

Gelişimi: 19. yüzyılın sonlarından itibaren George Boole, Gottlob Frege, Alfred North Whitehead ve Bertrand Russell gibi matematikçi-mantıkçılar tarafından geliştirilmiştir.
Temel Özellikleri: Konuşma dilinin belirsizliklerinden arındırılmış yapay, içeriksiz ve formel bir dildir. Karmaşık akıl yürütmelerin denetlenmesini kolaylaştırır; bilgisayar yazılımları, algoritmalar ve yapay zekânın temel altyapısını oluşturur.

3.2. Eklemler Mantığı

Önerme Eklemleri ve Sembolleri:

Değilleme (Değil): ∼\∼
Tümel Evetleme (Ve): ∧\∧
Tikel Evetleme (Veya): ∨\∨
Koşul (İse): ⟹ \⟹
Karşılıklı Koşul (Ancak ve Ancak): ⟺ \⟺

Doğruluk Değeri Tabloları: Bileşik bir önermenin basit bileşenlerinin alabileceği tüm doğru (D) ve yanlış (Y) kombinasyonlarına göre sonucun ne olacağını gösteren analiz şemalarıdır.
Tutarlılık ve Geçerlilik Denetimi: Doğruluk tabloları yardımıyla önermelerin tutarlılığı (en az bir doğru yorum alması), geçerliliği (tüm yorumlarının doğru olması - totoloji) ve çıkarımların geçerliliği denetlenir.