Sembolik Mantık
YKS Mantık (AYT) · 13 kazanım
- MAN.32 Sembolik mantığın, klasik mantığın sembolleştirilmiş biçimi olduğunu fark eder.
- MAN.33 Bilgileri, doğru ve yanlış olarak değerlendirir.
- MAN.34 Basit ve bileşik önermeleri birbirinden ayırır.
- MAN.35 Önerme eklemlerinin işlevlerini belirtir.
- MAN.36 Ana eklem ve ana bileşenleri ayırt eder.
- MAN.37 Klasik mantıktaki çıkarımla sembolik mantıktaki çıkarımın farkını ayırt eder
- MAN.38 Mantık değişmezlerini, önermeleri ve çıkarımları sembolleştirir.
- MAN.39 Önermelerin doğruluk değerlerini yorumlar.
- MAN.40 Temel doğruluk değerlerini, doğruluk çizelgesi üzerinde gösterir.
- MAN.41 Doğruluk çizelgesinde önermenin ve önermelerin tutarlılığını denetler.
- MAN.42 Önermelerin geçerlilik ve eşdeğerliğini denetler.
- MAN.43 Çıkarımların geçerliliğini denetler.
- MAN.44 İki değerli mantık dışında çok değerli mantık sistemleri olduğunu fark eder.
Kaynak: MEB TTKB