İçeriğe geç
dershanede

Influencer ortaklığı

Takipçilerine indirim, sana kazanç

Yükleniyor…

11. Sınıf Mantık · Modern (Sembolik) Mantık

Özdeşlik Mantığı

  • özdeşlik değişmezi
  • a≡b
  • ad sembolü
  • ikili yüklem
  • niceleme mantığı

Özdeşlik mantığı nedir ve a≡b önermesi ne anlama gelir?

Özdeşlik mantığı, niceleme mantığını içine alan ve ona “özdeş” değişmezini ekleyen mantık sistemidir. Özdeşlik ilkesi bir şeyin kendisiyle özdeş olduğunu söyler; özdeşlik mantığı bu ilişkiyi sembolle ifade eder. Niceleme mantığındaki ∀ ve ∃ niceleyicileri ile önermeler mantığındaki ~, ∧, ∨, ⇒, ⇔ eklemleri özdeşlik mantığında da geçerlidir; bu nedenle özdeşlik mantığı niceleme mantığından daha kapsamlıdır. “Özdeş” sözcüğü “≡” sembolüyle gösterilir. Özdeşlik önermesi, öznesi ile yükleminin aynı nesneyi gösterdiği önermedir ve a≡b biçiminde yazılır; bu önermede iki ad sembolü ile iki yerli bir yüklem bulunur. Örneğin “Everest Dağı dünyanın en yüksek dağıdır.” önermesinde “Everest Dağı” a, “dünyanın en yüksek dağı” b ile gösterilirse önerme a≡b olur. Aynı nesneye farklı adlarla işaret edilebilir. Özdeşlik benzerlik ya da eşitlik değildir; a≡b, a ile b’nin aynı varlık olduğunu söyler.

Özdeşlik Mantığı: konu anlatımı ve özeti

Bu konu, niceleme mantığını içine alan ve ona “özdeş” değişmezini ekleyen özdeşlik mantığını anlatıyor. Özdeşlik ilkesi bir şeyin kendisiyle özdeş olduğunu söyler; bu mantık sistemi o ilişkiyi sembolle ifade eder.

  • Kapsam: Özdeşlik mantığı niceleme mantığından daha kapsamlıdır. Niceleme mantığındaki ∀, ∃ ve önermeler mantığındaki ~, ∧, ∨, ⇒, ⇔ burada da geçerlidir.
  • Özdeşlik değişmezi: “Özdeş” sözcüğü “≡” sembolüyle gösterilir.
  • Özdeşlik önermesi: Öznesi ile yükleminin aynı nesneyi gösterdiği önermedir. a≡b önermesinde iki ad sembolü (a, b) ve iki yerli bir yüklem (özdeştir) vardır.
  • Örnek: “Everest Dağı dünyanın en yüksek dağıdır.” önermesinde “Everest Dağı” a, “dünyanın en yüksek dağı” b ile gösterilirse önerme a≡b olur.
  • Ad değişmezleri: Aynı nesneye farklı adlarla işaret edilebilir; özdeşlik önermesi bu iki adın aynı şeyi anlattığını bildirir.
  • Önceki ilkeyle bağ: Akıl ilkelerindeki özdeşlik (A ise A) burada iki farklı adın aynı varlığa bağlanmasına genişler.

Unutma: Özdeşlik benzerlik ya da eşitlik değildir; a≡b, a ile b’nin aynı varlık olduğunu söyler.

Bu özet yapay zekâ ile kitabın ilgili sayfalarından hazırlandı; hata içerebilir. Asıl kaynak MEB ders kitabıdır. İçerikler nasıl hazırlanıyor? · Son güncelleme:

Önce temeli pekiştir

  1. Önermenin iki ucunu bul: hangi iki ifade aynı nesneyi gösteriyor?
  2. Her ifadeye bir ad sembolü ver (a, b).
  3. Aralarına ≡ koy ve önermeyi a≡b diye yaz.

Günlük hayattan: “Türkiye’nin başkenti Ankara’dır.” dediğinde “Türkiye’nin başkenti” ve “Ankara” iki farklı ad ama tek şehirdir. Bu bir özdeşlik önermesidir.

Sık yapılan hata: “Ali, Veli’ye benzer.” gibi bir benzerlik önermesini özdeşlik sanmak. Benzerlikte iki ayrı varlık vardır; özdeşlikte tek varlık iki adla anılır.

İpucu: Bir önermenin özdeşlik önermesi olup olmadığını “iki tarafın yeri değişince anlam bozuluyor mu?” diye dene. a≡b ise b≡a da doğrudur.

Derinleş

Kitaptaki Everest örneğine benzer üç özdeşlik önermesi yaz (örneğin bir şehir, bir kişi ve bir sayı için) ve her birini a≡b biçiminde sembolleştir. Düşün: “Sabah yıldızı akşam yıldızıdır.” önermesi bize yeni bir bilgi veriyor mu, yoksa “Venüs Venüs’tür.” ile aynı şeyi mi söylüyor?

Sorular

Soru bankasından bu konunun soruları, kolaydan zora.

Konu testini çöz

  1. Kolay

    1Özdeşlik ilkesi ile özdeşlik mantığı arasındaki bağ aşağıdakilerden hangisidir?

    • A) İkisi arasında hiçbir bağ yoktur; adları rastlantıdır.
    • B) Özdeşlik ilkesi, özdeşlik mantığında belirsiz değer alır.
    • C) Özdeşlik ilkesi, özdeşlik mantığında geçersiz sayılarak tümüyle reddedilir.
    • D) "A ise A" ilkesi, iki adın aynı varlığa bağlanmasına genişler.
    • E) Özdeşlik mantığı, ilkeyi yalnız olası dünyalar için kullanır.
    Cevabı göster

    Doğru cevap: D) "A ise A" ilkesi, iki adın aynı varlığa bağlanmasına genişler.

    Akıl ilkelerindeki özdeşlik (A ise A) bir şeyin kendisiyle aynı olduğunu söyler; özdeşlik mantığı bunu iki farklı adın aynı varlığı göstermesine genişletir.

  2. Kolay

    2Özdeşlik mantığında "özdeş" sözcüğü hangi sembolle gösterilir?

    • A) ⇒
    • B) E!
    • C) ≡
    • D) □
    • E) ∃
    Cevabı göster

    Doğru cevap: C) ≡

    Özdeşlik mantığına eklenen "özdeş" değişmezi ≡ ile gösterilir.

  3. Kolay

    3"Everest Dağı dünyanın en yüksek dağıdır." önermesinde "Everest Dağı" a, "dünyanın en yüksek dağı" b ile gösterilirse önerme nasıl yazılır?

    • A) Fa
    • B) a ≡ b
    • C) a ⇒ b
    • D) Fab
    • E) E!a
    Cevabı göster

    Doğru cevap: B) a ≡ b

    Önermenin öznesi ile yüklemi aynı nesneyi gösterdiği için bu bir özdeşlik önermesidir: a ≡ b.

  4. Kolay

    4a ≡ b önermesinde kaç ad sembolü ve kaç yerli bir yüklem vardır?

    • A) İki ad sembolü ve bir yerli bir yüklem
    • B) Bir ad sembolü ve iki yerli bir yüklem
    • C) Üç ad sembolü ve iki yerli bir yüklem
    • D) İki ad sembolü ve iki yerli bir yüklem
    • E) Bir ad sembolü ve bir yerli bir yüklem
    Cevabı göster

    Doğru cevap: D) İki ad sembolü ve iki yerli bir yüklem

    a ≡ b önermesinde a ve b ad sembolleri, "özdeştir" ise iki yerli bir yüklemdir.

  5. Kolay

    5Özdeşlik mantığı aşağıdaki mantık sistemlerinden hangisini içine alarak ona yeni bir değişmez ekler?

    • A) Üç değerli mantığı
    • B) Niceleme mantığını
    • C) Varlık mantığını
    • D) Tartışma mantığını
    • E) Kiplik mantığını
    Cevabı göster

    Doğru cevap: B) Niceleme mantığını

    Özdeşlik mantığı niceleme mantığını içine alır ve ona "özdeş" değişmezini ekler; bu yüzden ondan daha kapsamlıdır.

  6. Kolay

    6Aşağıdaki önermelerden hangisi bir özdeşlik önermesidir?

    • A) Ankara'da kış soğuk geçer.
    • B) Ankara İstanbul'a benzer.
    • C) Ankara'nın havası kurudur.
    • D) Türkiye'nin başkenti Ankara'dır.
    • E) Ankara kalabalık bir şehirdir.
    Cevabı göster

    Doğru cevap: D) Türkiye'nin başkenti Ankara'dır.

    Özdeşlik önermesinde özne ve yüklem aynı nesneyi gösterir. "Türkiye'nin başkenti" ile "Ankara" aynı şehrin iki adıdır.

  7. Kolay

    7Özdeşlik önermesinin tanımı aşağıdakilerden hangisidir?

    • A) Gerçekte olmayan bir varlıktan söz eden önerme
    • B) Öznesi ile yükleminin birbirine benzediği önerme
    • C) Öznesi ile yüklemi farklı nesneleri gösteren önerme
    • D) Bütün olası dünyalarda doğru olan önerme
    • E) Öznesi ile yükleminin aynı nesneyi gösterdiği önerme
    Cevabı göster

    Doğru cevap: E) Öznesi ile yükleminin aynı nesneyi gösterdiği önerme

    Özdeşlik önermesi öznesi ile yükleminin aynı nesneyi gösterdiği önermedir.

  8. Kolay

    8Özdeşlik mantığında kullanılabilen semboller için aşağıdakilerden hangisi doğrudur?

    • A) Yalnız ≡ kullanılabilir; öteki semboller kullanılamaz.
    • B) Yalnız ~ eklemi kullanılabilir; ∀ ve ∃ kullanılamaz.
    • C) ≡ yanında ∀, ∃ ve ~, ∧, ∨, ⇒, ⇔ de kullanılır.
    • D) ∀ ve ∃ kullanılabilir; ∧ ve ∨ kullanılamaz.
    • E) Yalnız ⇒ ve ⇔ eklemleri kullanılabilir.
    Cevabı göster

    Doğru cevap: C) ≡ yanında ∀, ∃ ve ~, ∧, ∨, ⇒, ⇔ de kullanılır.

    Niceleme mantığındaki ∀, ∃ ve önermeler mantığındaki ~, ∧, ∨, ⇒, ⇔ özdeşlik mantığında da geçerlidir.

  9. Orta

    9Özdeşlik mantığı ile niceleme mantığı arasındaki ilişki aşağıdakilerden hangisidir?

    • A) Özdeşlik mantığı niceleyicileri kullanmaz.
    • B) Özdeşlik mantığı niceleme mantığından daha kapsamlıdır.
    • C) İkisi aynı değişmezlere sahip özdeş sistemlerdir.
    • D) Niceleme mantığı özdeşlik mantığından daha kapsamlıdır.
    • E) İkisi birbirinden tümüyle bağımsızdır.
    Cevabı göster

    Doğru cevap: B) Özdeşlik mantığı niceleme mantığından daha kapsamlıdır.

    Özdeşlik mantığı niceleme mantığını içine alır ve ona ≡ değişmezini ekler; bu yüzden daha kapsamlıdır.

  10. Orta

    10"Mimar Sinan, Süleymaniye Camii'nin mimarıdır." önermesi için aşağıdakilerden hangisi doğrudur?

    • A) Hayalî bir varlıktan söz ettiği için E!a biçiminde yazılır.
    • B) Tikel bir önerme olduğu için ∃xFx biçiminde yazılır.
    • C) İki farklı ad aynı kişiyi gösterdiği için a ≡ b biçiminde yazılır.
    • D) İki kişi arasında benzerlik bildirdiği için Fab biçiminde yazılır.
    • E) Bir zorunluluk bildirdiği için □p biçiminde yazılır.
    Cevabı göster

    Doğru cevap: C) İki farklı ad aynı kişiyi gösterdiği için a ≡ b biçiminde yazılır.

    "Mimar Sinan" ve "Süleymaniye Camii'nin mimarı" aynı kişiyi gösterir; önerme özdeşlik önermesidir: a ≡ b.

  11. Orta

    11"İstanbul, Türkiye'nin başkenti değildir." önermesinde İstanbul a, "Türkiye'nin başkenti" b ile gösterilirse önerme nasıl yazılır?

    • A) ~Fa
    • B) E!a
    • C) ~(a ≡ b)
    • D) a ≡ ~b
    • E) a ≡ b
    Cevabı göster

    Doğru cevap: C) ~(a ≡ b)

    Önerme iki adın aynı nesneyi göstermediğini söyler; özdeşlik önermesinin değillemesi ~(a ≡ b) biçiminde yazılır.

  12. Orta

    12Aşağıdaki önermelerden hangisi özdeşlik değil, benzerlik bildirir?

    • A) Türkiye'nin başkenti Ankara'dır.
    • B) İkiz kardeşlerden Ali, Veli'ye çok benzer.
    • C) Mimar Sinan, Süleymaniye'nin mimarıdır.
    • D) Sabah yıldızı, akşam yıldızının ta kendisidir.
    • E) Everest, dünyanın en yüksek dağıdır.
    Cevabı göster

    Doğru cevap: B) İkiz kardeşlerden Ali, Veli'ye çok benzer.

    Ali ile Veli iki ayrı kişidir; benzerlik onları aynı varlık yapmaz. Öteki önermelerde iki ad aynı varlığı gösterir.

  13. Orta

    13"Bu iki kalemin fiyatı birbirine eşittir." önermesi için aşağıdakilerden hangisi söylenebilir?

    • A) Eşitlik bildirir; iki kalem aynı varlık olmadığından özdeşlik değildir.
    • B) Kiplik önermesidir; çünkü fiyatın zorunlu olduğunu bildirir.
    • C) Özdeşlik önermesidir; çünkü fiyatı eşit olan her şey birbiriyle özdeştir.
    • D) Özdeşlik önermesidir; çünkü iki kalem aynı nesneyi gösterir.
    • E) Varlık önermesidir; çünkü kalemlerin var olduğunu bildirir.
    Cevabı göster

    Doğru cevap: A) Eşitlik bildirir; iki kalem aynı varlık olmadığından özdeşlik değildir.

    Özdeşlik benzerlik ya da eşitlik değildir; a ≡ b, a ile b'nin aynı varlık olduğunu söyler. İki ayrı kalemin fiyatlarının eşit olması onları özdeş yapmaz.

  14. Orta

    14"Sabah yıldızı" ve "akşam yıldızı", gökyüzünde Venüs gezegeninin iki farklı adıdır. "Sabah yıldızı akşam yıldızıdır." önermesi için aşağıdakilerden hangisi doğrudur?

    • A) Hayalî bir varlıktan söz ettiği için E!a ile gösterilir.
    • B) Birbirine benzer iki gök cismini anlattığı için Fab ile gösterilir.
    • C) Mümkün bir durumu anlattığı için ◊p ile gösterilir.
    • D) İki ayrı gök cismi olduğu için ~(a ≡ b) ile gösterilir.
    • E) Aynı nesneyi gösteren iki ad olduğu için a ≡ b ile gösterilir.
    Cevabı göster

    Doğru cevap: E) Aynı nesneyi gösteren iki ad olduğu için a ≡ b ile gösterilir.

    İki ad da aynı gezegeni gösterir; özdeşlik önermesi bu iki adın aynı şeyi anlattığını bildirir: a ≡ b.

  15. Orta

    15Aynı nesneye farklı adlarla işaret edilebilmesi, özdeşlik mantığında aşağıdakilerden hangisini anlamlı kılar?

    • A) Önermelerin tümel ya da tikel niceliğini göstermeyi
    • B) Hayalî varlıkları gerçek varlık saymayı
    • C) Önermelerin zorunlu olup olmadığını sınamayı
    • D) Önermelere belirsiz değerini vermeyi
    • E) Farklı adların aynı şeyi gösterdiğini bildirmeyi
    Cevabı göster

    Doğru cevap: E) Farklı adların aynı şeyi gösterdiğini bildirmeyi

    Özdeşlik önermesi, farklı adların aynı nesneye işaret ettiğini bildirir; bu yüzden aynı varlığın birden çok adı olması özdeşlik mantığını anlamlı kılar.

  16. Orta

    16Aşağıdakilerden hangisi iki ayrı kişiyi anlattığı için özdeşlik önermesi olarak sembolleştirilemez?

    • A) Romanın yazarı Orhan'dır.
    • B) Okulun müdürü Hasan Bey'dir.
    • C) Takımın kaptanı Mert'tir.
    • D) Ayşe ile Fatma aynı sınıftadır.
    • E) Sınıf başkanı Elif'tir.
    Cevabı göster

    Doğru cevap: D) Ayşe ile Fatma aynı sınıftadır.

    "Ayşe ile Fatma aynı sınıftadır." önermesi iki ayrı kişi arasında bir ilişki bildirir; ikisi aynı kişi değildir. Öteki önermelerde bir ad ile bir nitelendirme aynı kişiyi gösterir.

  17. Zor

    17Bir öğrenci "a ≡ b önermesi, a ile b'nin iki ayrı nesne olduğunu ama birbirine çok benzediğini söyler." diyor. Öğrencinin yanılgısı aşağıdakilerden hangisidir?

    • A) Özdeşliği niceleyiciyle karıştırmıştır; a ≡ b bazı nesnelerin varlığını bildirir.
    • B) Özdeşliği varlıkla karıştırmıştır; a ≡ b yalnız a'nın var olduğunu bildirir.
    • C) Özdeşliği zorunlulukla karıştırmıştır; a ≡ b her dünyada doğruluğu bildirir.
    • D) Özdeşliği eşitlikle karıştırmıştır; a ≡ b iki nesnenin sayıca eşitliğini bildirir.
    • E) Özdeşliği benzerlikle karıştırmıştır; a ≡ b tek bir varlığın iki adını bildirir.
    Cevabı göster

    Doğru cevap: E) Özdeşliği benzerlikle karıştırmıştır; a ≡ b tek bir varlığın iki adını bildirir.

    Özdeşlik benzerlik ya da eşitlik değildir. a ≡ b, a ve b adlarının aynı varlığı gösterdiğini söyler; iki ayrı nesneden söz etmez.

  18. Zor

    18"Ayşe'nin en yakın arkadaşı Zeynep'tir ve Zeynep okul birincisidir." önermesinde a: Ayşe'nin en yakın arkadaşı, b: Zeynep, F: okul birincisidir olarak alınırsa önerme nasıl yazılır?

    • A) (a ≡ b) ∧ Fb
    • B) (a ≡ b) ∨ Fa
    • C) ~(a ≡ b) ∧ Fb
    • D) Fab ∧ Fb
    • E) (a ≡ b) ⇒ Fb
    Cevabı göster

    Doğru cevap: A) (a ≡ b) ∧ Fb

    Önermenin ilk bileşeni özdeşlik (a ≡ b), ikincisi Zeynep'in bir niteliğidir (Fb); "ve" ile bağlandığı için (a ≡ b) ∧ Fb yazılır.

  19. Zor

    19a ≡ b önermesinin doğru olduğu ve "a okul birincisidir" önermesinin (Fa) de doğru olduğu biliniyor. Bu bilgilerden aşağıdakilerden hangisi çıkar?

    • A) Fb doğrudur; çünkü a ile b aynı varlıktır.
    • B) Fb ancak b ≡ c ise doğrudur.
    • C) Fb belirsizdir; çünkü b hakkında bilgi yoktur.
    • D) Fb yanlıştır; çünkü a ile b farklı adlardır.
    • E) Fb yalnız benzer durumlarda doğrudur.
    Cevabı göster

    Doğru cevap: A) Fb doğrudur; çünkü a ile b aynı varlıktır.

    a ile b aynı varlığı gösterdiğinden a için doğru olan nitelik b için de doğrudur. Adın farklı olması varlığı değiştirmez.

  20. Zor

    20a ≡ b ve b ≡ c önermeleri doğruysa aşağıdakilerden hangisi de doğrudur?

    • A) a ≡ c
    • B) ~(a ≡ c)
    • C) a ≡ b doğru, a ≡ c belirsiz
    • D) Yalnız b ≡ b
    • E) ~(a ≡ b)
    Cevabı göster

    Doğru cevap: A) a ≡ c

    a ile b aynı varlık, b ile c de aynı varlıksa üç ad da aynı varlığı gösterir; o hâlde a ≡ c'dir.

Katkıda bulun

Özette bir hata mı gördün, eklenmesi gereken bir bilgi ya da güzel bir soru mu var? Öner; yönetici onaylarsa sitede yayımlanır ve sana bildirim gelir.