? Seçmeli Mantık 2. Dönem 1. Yazılı Hazırlık: Kritik Konulara Genel Bakış
Sevgili öğrenciler, seçmeli mantık dersinin 2. dönem 1. yazılısına hazırlanırken dikkat etmeniz gereken temel konuları bu yazıda bulabilirsiniz. Başarılar dilerim!
? Önermeler Mantığı
- ? Önerme: Doğru ya da yanlış bir yargı bildiren ifadedir.
- ? Önerme Çeşitleri: Basit önerme, bileşik önerme (tümel, tikel, vb.)
- ? Doğruluk Değeri: Bir önermenin doğru (D) ya da yanlış (Y) olması durumu.
- ? Doğruluk Tablosu: Önermelerin doğruluk değerlerini gösteren tablo.
? Temel Mantıksal İşlemler
- ? Tümel Evetleme (Ve): İki önermenin de doğru olması durumunda doğru, aksi halde yanlıştır. (Sembolü: ∧)
- ? Tikel Evetleme (Veya): Önermelerden en az birinin doğru olması durumunda doğru, ikisi de yanlışsa yanlıştır. (Sembolü: ∨)
- ? Koşullu Önerme (İse): İlk önerme doğru, ikinci önerme yanlışsa yanlış, diğer durumlarda doğrudur. (Sembolü: →)
- ? Karşılıklı Koşullu Önerme (Ancak ve Ancak): İki önermenin de doğruluk değeri aynıysa doğru, farklıysa yanlıştır. (Sembolü: ↔)
- ? Değilleme (Değil): Bir önermenin doğruluk değerini tersine çevirir. (Sembolü: ¬)
? Çıkarım ve Geçerlilik
- ? Çıkarım: Önermelerden sonuç çıkarma işlemidir.
- ? Geçerli Çıkarım: Önermeler doğru olduğunda sonucun da doğru olması durumudur.
- ? Yanlış Çıkarım: Önermeler doğru olsa bile sonucun yanlış olabilmesi durumudur.
- ? Tümdengelim: Genelden özele doğru yapılan çıkarımdır.
- ? Tümevarım: Özelden genele doğru yapılan çıkarımdır.
? Niceleme Mantığına Giriş
- ? Niceleyici: Bir önermenin kapsamını belirten ifade.
- ? Tümel Niceleyici (Her): Bir özelliğin tüm elemanlar için geçerli olduğunu belirtir. (Sembolü: ∀)
- ? Tikel Niceleyici (Bazı): Bir özelliğin en az bir eleman için geçerli olduğunu belirtir. (Sembolü: ∃)
Umarım bu özet, yazılıya hazırlanmanıza yardımcı olur. Başarılar!
