Ünite 9: Bağıntılar Mantığı — Hızlı Bakış

Sınavdan hemen önce göz gezdirmek için sıkıştırılmış özet.

Sınavda Dikkat Et

• Sınavlarda 'öncel' ve 'ardıl' kavramlarının sıralı çiftler (x, y) içindeki yerlerini karıştırmayın; x önceli, y ise ardılı temsil eder.
• '∀' (tümellik) ve '∃' (tikellik) sembollerinin hangi tümel/tikel önermelerle eşleştiğine dikkat edin.
• De Morgan kurallarına benzer şekilde '¬∀xΨx = ∃x¬Ψx' eşdeğerliğini ve niceleyici dönüşümünü ezberleyin.
• Yansımalı ile tam yansımalı bağıntı arasındaki farkı (örneğin özdeş olma vs. aynı yaşta olma) iyi ayırt edin.
• Kısmî yansımalı ve kısmî yansımasız kavramlarının 'mümkün ama zorunlu değil' mantığına dayandığını unutmayın.
• Bakışımlı bağıntılarda elemanların yer değiştirmesinin (birleşim sırasının) soncu değiştirip değiştirmeyeceğini kontrol edin.
• Geçişsiz bağıntılar ile kısmî geçişsiz bağıntıların (konumsal üçgen örnekleri) formülasyon ve tanım farklarına dikkat edin.

Bilinmesi Gereken Kavramlar

Önemli Olaylar / Örnekler

• Niceleme Mantığının Doğuşu ve Frege
• Tümel ve Tikel Gösterimler
• De Morgan Benzeri Eşdeğerlik Kuralı
• Tavşan ve Kaplumbağa Örneğinde Sıralı Çiftler
• Tapscott ve Lepore'a Göre Tam Yansımacılık
• Kısmî Yansımalı Bağıntılara Örnek
• Kısmî Yansımasız Bağıntılara Örnek
• Langer'ın Bakışımlı Bağıntı Tanımı
• Kısmî Bakışımsız Bağıntılara Boks Örneği
• Beş Metre Ötede Olma Bağıntısının Geçişsizliği