Ünite 7: Niceleme Mantığında Sembolleştirme ve Çeviri — Hızlı Bakış
Sınavdan hemen önce göz gezdirmek için sıkıştırılmış özet.
Sınavda Dikkat Et
Dört kategorik önermenin sembolik karşılıklarını (tümel olumlu, tümel olumsuz, tikel olumlu, tikel olumsuz) karıştırmayın; sınavda doğrudan çeviri soruları gelmektedir.
Sembolleştirme adımlarının sırasını (özellikle 1. adından 6. adıma kadar olan aşamaları) iyi ezberleyin, çünkü adımların sırası sınav sorularında çeldirici olarak sorulabilir.
Çeviri anahtarı ile sembolleştirme anahtarının tanımını karıştırmayın; sembolleştirme yüklem/ad ile sembolü eşlerken, çeviri bunun tersini yapar.
Sembolik bir çıkarımın gündelik dile çevrilmesi yönteminin sadece çıkarımın 'geçersizliğini' kanıtlamak için kullanılabileceğini unutmayın.
Parantez kaldırma kurallarına (özellikle işlem önceliğine) dikkat edin; tümel-evetlemenin koşul eklemine göre önceliği olduğunu unutmayın.
Öncüllerin sonuçtan sonra gelebileceği durumlarda (çünkü, o halde bağlamları) mantıksal sıralamaya dikkat ederek ∴ işaretini doğru yere koyun.
