11. Sınıf Mantık · Modern (Sembolik) Mantık
Varlık Mantığı
- E!
- var değişmezi
- hayalî varlık
- gerçek varlık
- özdeşlik mantığı
Varlık mantığı nedir ve E! sembolü neyi gösterir?
Varlık mantığı, özdeşlik mantığının değişmezlerine “var” sözcüğünün eklenmesiyle kurulan ve gerçekte olmayan varlıklar hakkında da önerme kurmaya izin veren sistemdir. Niceleme ve özdeşlik mantığı yalnız gerçek dünyadaki varlıklarla önerme kurar. Varlık mantığı ise hem gerçek dünyadaki hem de insan zihninde hayal ürünü olarak bulunan varlıklar için önerme kurar. “Everest tepesi vardır.” gerçek bir varlıktan söz eder; “Aşk tanrısı Eros vardır.” ve “Kaf Dağı vardır.” önermeleri ise gerçek dünyada karşılığı olmayan adları kullanır. “Vardır” ifadesi E! sembolüyle gösterilir; “Anka kuşu vardır.” önermesinde Anka kuşu a ile gösterilirse önerme E!a olur. Gerçekte olmayan varlıklarla kurulan önermeler niceleme mantığında yanlış değer alır: “Kaf Dağı vardır.” yanlış, “Alp Dağları vardır.” doğrudur. Varlık mantığının amacı hayalî varlıkları gerçek saymak değil, onlar hakkında tutarlı biçimde konuşabilmektir.
Varlık Mantığı: konu anlatımı ve özeti
Bu konu, özdeşlik mantığına “var” değişmezini ekleyen ve gerçekte olmayan varlıklar hakkında da önerme kurmaya izin veren varlık mantığını anlatıyor.
- Tanım: Varlık mantığı, özdeşlik mantığının değişmezlerine “var” sözcüğünün eklenmesiyle kurulmuş bir sistemdir.
- Fark: Niceleme ve özdeşlik mantığı yalnız gerçek dünyadaki varlıklarla önerme kurar. Varlık mantığı hem gerçek dünyadaki hem de insan zihninde hayal ürünü olarak bulunan varlıklar için önerme kurar.
- Örnekler: “Everest tepesi vardır.” gerçek bir varlıktan söz eder. “Aşk tanrısı Eros vardır.” ve “Kaf Dağı vardır.” ise gerçek dünyada karşılığı olmayan adları kullanır.
- Sembol: “Vardır” ifadesi E! ile gösterilir. “Anka kuşu vardır.” önermesinde Anka kuşu a ile gösterilirse önerme E!a olur.
- Niceleme mantığındaki durum: Gerçekte olmayan varlıklarla kurulan önermeler niceleme mantığında yanlış değer alır. “Kaf Dağı vardır.” yanlış, “Alp Dağları vardır.” doğrudur.
- Önceki konuyla bağ: Tanım konusundaki ad tanımı ile gerçek tanımı arasındaki ayrım burada mantık diline taşınır.
Unutma: Varlık mantığının amacı hayalî varlıkları gerçek saymak değil, onlar hakkında tutarlı biçimde konuşabilmektir.
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
- Önermenin “vardır” bildirip bildirmediğine bak.
- Söz edilen varlığa bir ad sembolü ver (a).
- Önermeyi E!a biçiminde yaz ve varlığın gerçek mi, zihinsel mi olduğunu not et.
Günlük hayattan: Bir romandaki karakter hakkında “Sherlock Holmes Baker Sokağı’nda yaşar.” diyebilirsin. Karakter gerçek değildir ama hakkında doğru ya da yanlış cümleler kurmak isteriz; varlık mantığı buna imkân tanır.
Sık yapılan hata: Zihinde var olan her şeyin gerçek dünyada da var olduğunu düşünmek. Anka kuşunu tasarlayabiliriz ama bu, onun gerçek olduğunu göstermez.
İpucu: Gerçek dünya için “gözleyebilir miyim?”, zihinsel varlık için “tanımlayabilir miyim ama gösteremez miyim?” sorusunu kullan.
Derinleş
Kitaptaki örneklerden yola çıkarak iki gerçek ve iki hayalî varlık için “vardır” önermesi kur, her birini E! ile sembolleştir. Sonra bu önermelerin niceleme mantığında hangi değeri alacağını yaz. Düşün: Hayalî varlıklar hakkında doğru ya da yanlış cümle kurulabilir mi?
Sorular
Soru bankasından bu konunun soruları, kolaydan zora.
Kolay
1Varlık mantığının amacı aşağıdakilerden hangisidir?
- A) Önermelere doğru ve yanlış dışında değer vermek
- B) Hayalî varlıkların gerçek olduğunu kanıtlamak
- C) Bütün önermeleri zorunlu önermeye dönüştürmek
- D) Hayalî varlıklar hakkında tutarlı biçimde konuşabilmek
- E) Gerçek varlıklar hakkında önerme kurmayı yasaklamak
Cevabı göster
Doğru cevap: D) Hayalî varlıklar hakkında tutarlı biçimde konuşabilmek
Varlık mantığının amacı hayalî varlıkları gerçek saymak değil, onlar hakkında tutarlı biçimde konuşabilmektir.
Kolay
2Varlık mantığında "vardır" ifadesi hangi sembolle gösterilir?
- A) E!
- B) ∃
- C) ≡
- D) ◊
- E) □
Cevabı göster
Doğru cevap: A) E!
Varlık mantığında "vardır" ifadesi E! ile gösterilir. ∃ ise "bazı" anlamındaki tikel niceleyicidir.
Kolay
3"Anka kuşu vardır." önermesinde Anka kuşu a ile gösterilirse önerme nasıl yazılır?
- A) a ≡ b
- B) E!a
- C) ∃a
- D) □a
- E) Fa
Cevabı göster
Doğru cevap: B) E!a
"Vardır" ifadesi E! ile gösterildiğinden önerme E!a olur.
Kolay
4Varlık mantığı hangi mantık sistemine "var" değişmezinin eklenmesiyle kurulmuştur?
- A) Kiplik mantığına
- B) Tartışma mantığına
- C) Özdeşlik mantığına
- D) Üç değerli mantığa
- E) Önermeler mantığına
Cevabı göster
Doğru cevap: C) Özdeşlik mantığına
Varlık mantığı, özdeşlik mantığının değişmezlerine "var" sözcüğünün eklenmesiyle kurulmuş bir sistemdir.
Kolay
5Niceleme mantığında "Kaf Dağı vardır." önermesi hangi değeri alır?
- A) Belirsiz
- B) Mümkün
- C) Zorunlu
- D) Yanlış
- E) Doğru
Cevabı göster
Doğru cevap: D) Yanlış
Niceleme mantığı yalnız gerçek dünyadaki varlıklarla önerme kurar; gerçekte olmayan varlıklarla kurulan önermeler yanlış değer alır.
Kolay
6Niceleme mantığında "Alp Dağları vardır." önermesi hangi değeri alır?
- A) Doğru
- B) Yanlış
- C) Belirsiz
- D) Değersiz
- E) Tanımsız
Cevabı göster
Doğru cevap: A) Doğru
Alp Dağları gerçek dünyada bulunduğu için önerme doğrudur.
Kolay
7Varlık mantığını niceleme ve özdeşlik mantığından ayıran temel özellik aşağıdakilerden hangisidir?
- A) Önermelerin zorunlu olup olmadığını gösterebilmesi
- B) Önermelere belirsiz değerini verebilmesi
- C) Önermelerin niceliğini gösterebilmesi
- D) Tartışmadaki karşı çıkışları gösterebilmesi
- E) Hayal ürünü varlıklar için de önerme kurabilmesi
Cevabı göster
Doğru cevap: E) Hayal ürünü varlıklar için de önerme kurabilmesi
Niceleme ve özdeşlik mantığı yalnız gerçek varlıklarla önerme kurar; varlık mantığı insan zihninde hayal ürünü olarak bulunan varlıklar için de önerme kurabilir.
Kolay
8Aşağıdaki adlardan hangisi gerçek dünyada karşılığı olmayan bir varlığı gösterir?
- A) Van Gölü
- B) Alp Dağları
- C) Kaf Dağı
- D) Ağrı Dağı
- E) Everest tepesi
Cevabı göster
Doğru cevap: C) Kaf Dağı
Kaf Dağı masallarda geçen, gerçek dünyada karşılığı olmayan bir yerdir. Öteki adlar gerçek varlıkları gösterir.
Orta
9"Aşk tanrısı Eros yoktur." önermesinde Eros a ile gösterilirse önerme nasıl yazılır?
- A) ~Fa
- B) E!a
- C) ~E!a
- D) E!~a
- E) ~∃a
Cevabı göster
Doğru cevap: C) ~E!a
"Vardır" E! ile gösterildiğine göre "yoktur", önermenin değillenmesiyle ~E!a biçiminde yazılır.
Orta
10Dede Korkut hikâyelerindeki Tepegöz masalsı bir varlıktır. "Tepegöz vardır." önermesinin niceleme mantığı ile varlık mantığındaki durumu için aşağıdakilerden hangisi doğrudur?
- A) Niceleme mantığında hiç kurulamaz; varlık mantığında ise Tepegöz gerçek bir varlık sayılır.
- B) İki sistemde de zorunlu olarak doğrudur; çünkü ad bir varlığı gösterir.
- C) İki sistemde de belirsiz değer alır; çünkü masallar gelecekle ilgilidir.
- D) Niceleme mantığında yanlıştır; varlık mantığı ise onun hakkında önerme kurdurur.
- E) Niceleme mantığında doğru değer alır; varlık mantığında ise hiç kurulamaz.
Cevabı göster
Doğru cevap: D) Niceleme mantığında yanlıştır; varlık mantığı ise onun hakkında önerme kurdurur.
Niceleme mantığında gerçekte olmayan varlıklarla kurulan önermeler yanlış değer alır. Varlık mantığı ise hayalî varlıklar için de önerme kurmaya izin verir; onları gerçek saymaz.
Orta
11Önermeler, niceleme, özdeşlik ve varlık mantığı kapsamları bakımından dardan genişe doğru sıralanırsa en sonda hangisi yer alır?
- A) Önermeler mantığı
- B) Varlık mantığı
- C) Niceleme mantığı
- D) Kiplik mantığı
- E) Özdeşlik mantığı
Cevabı göster
Doğru cevap: B) Varlık mantığı
Niceleme mantığı önermeler mantığını, özdeşlik mantığı niceleme mantığını, varlık mantığı da özdeşlik mantığını içine alır; en kapsamlısı varlık mantığıdır.
Orta
12Varlık mantığının "Kaf Dağı vardır." gibi önermeleri ele alması, tanım konusundaki hangi ayrımın mantık diline taşınmasıdır?
- A) Yakın cins ile uzak cins arasındaki ayrımın
- B) Gerçek varlıkları anlatan tanım ile ad tanımı arasındaki ayrımın
- C) Özle ilgili tam tanım ile özle ilgili eksik tanım arasındaki ayrımın
- D) Tekil kavram ile genel kavram arasındaki ayrımın
- E) İçlem ile kaplam arasındaki ayrımın
Cevabı göster
Doğru cevap: B) Gerçek varlıkları anlatan tanım ile ad tanımı arasındaki ayrımın
Tanım konusunda gerçek varlıkları anlatan nesne tanımı ile zihinsel varlıklar için yapılan ad tanımı ayrılır; varlık mantığı bu ayrımı mantık diline taşır.
Orta
13"Everest tepesi vardır ve dünyanın en yüksek tepesidir." önermesinde a: Everest tepesi, b: dünyanın en yüksek tepesi olarak alınırsa önerme nasıl yazılır?
- A) Fa ∧ Fb
- B) E!b ∧ ~(a ≡ b)
- C) E!a ∨ (a ≡ b)
- D) E!a ⇒ (a ≡ b)
- E) E!a ∧ (a ≡ b)
Cevabı göster
Doğru cevap: E) E!a ∧ (a ≡ b)
İlk bileşen varlık bildirir (E!a), ikinci bileşen özdeşlik bildirir (a ≡ b); "ve" ile bağlandığı için E!a ∧ (a ≡ b) yazılır.
Orta
14Aşağıdaki önermelerden hangisi gerçek bir varlıktan söz eden bir varlık önermesidir?
- A) Aşk tanrısı Eros vardır.
- B) Van Gölü vardır.
- C) Tepegöz vardır.
- D) Kaf Dağı vardır.
- E) Anka kuşu vardır.
Cevabı göster
Doğru cevap: B) Van Gölü vardır.
Van Gölü gerçek dünyada bulunur. Öteki önermelerdeki adlar mitoloji ya da masal varlıklarını gösterir.
Orta
15Varlık mantığında "Anka kuşu vardır." gibi bir önerme kurulabilmesi için aşağıdakilerden hangisi söylenebilir?
- A) Önermeye doğru ve yanlış değerlerinin dışında üçüncü bir değer verilir.
- B) Ad, yalnız gerçek dünyada bulunan bir varlığı gösterebilir.
- C) Önermenin her olası dünyada doğru olması gerekir.
- D) Önerme niceleyici olmadan hiç yazılamaz.
- E) Ad, insan zihninde hayal ürünü olarak bulunan bir varlığı gösterebilir.
Cevabı göster
Doğru cevap: E) Ad, insan zihninde hayal ürünü olarak bulunan bir varlığı gösterebilir.
Varlık mantığı hem gerçek dünyadaki hem de insan zihninde hayal ürünü olarak bulunan varlıklar için önerme kurmaya izin verir.
Orta
16Varlık mantığında kullanılan semboller için aşağıdakilerden hangisi doğrudur?
- A) E! yanında ≡, ∀, ∃ ve önerme eklemleri de kullanılır.
- B) E! yerine □ ve ◊ sembolleri kullanılır.
- C) Yalnız ad sembolleri kullanılır; yüklem sembolü yoktur.
- D) Yalnız E! kullanılır; öteki semboller kullanılmaz.
- E) ≡ kullanılmaz; çünkü özdeşlik mantığından bağımsızdır.
Cevabı göster
Doğru cevap: A) E! yanında ≡, ∀, ∃ ve önerme eklemleri de kullanılır.
Varlık mantığı özdeşlik mantığının bütün değişmezlerini (≡, ∀, ∃, ~, ∧, ∨, ⇒, ⇔) içine alır ve bunlara E! değişmezini ekler.
Zor
17Bir öğrenci "Varlık mantığında E!a yazabildiğimize göre Anka kuşu gerçekten vardır." diyor. Öğrencinin yanılgısı aşağıdakilerden hangisidir?
- A) Hayalî bir varlık hakkında önerme kurmayı, onun gerçekliği saymak
- B) Özdeşlik önermesini varlık önermesiyle aynı şeymiş gibi görmek
- C) E! sembolünü tikel niceleyiciyle karıştırarak ∃ yazmak
- D) Önermeye doğru ya da yanlış dışında bir değer vermek
- E) Gerçek bir varlığı hayalî bir varlık gibi göstermek
Cevabı göster
Doğru cevap: A) Hayalî bir varlık hakkında önerme kurmayı, onun gerçekliği saymak
Varlık mantığının amacı hayalî varlıkları gerçek saymak değil, onlar hakkında tutarlı konuşabilmektir. Bir önermenin kurulabilmesi, söz edilen varlığın gerçek olduğunu göstermez.
Zor
18"Anka kuşu vardır ama Kaf Dağı yoktur." önermesinde a: Anka kuşu, b: Kaf Dağı olarak alınırsa önerme nasıl yazılır?
- A) E!a ∨ ~E!b
- B) E!a ⇒ ~E!b
- C) ~E!a ∧ E!b
- D) E!a ∧ ~E!b
- E) E!(a ∧ b)
Cevabı göster
Doğru cevap: D) E!a ∧ ~E!b
"Ama" ekli bir bileşik önerme kurar ve sembolde ∧ ile gösterilir. İlk bileşen E!a, ikinci bileşen "yoktur" olduğu için ~E!b'dir.
Zor
19Bir ad sembolünün (a) gerçek bir varlığı mı yoksa hayal ürünü bir varlığı mı gösterdiği, sembolün kendisinden anlaşılmaz. Bu durum varlık mantığında neden ayrıca E! değişmezine ihtiyaç duyulduğunu nasıl açıklar?
- A) Varlık önermelerinin gerçek dünya dâhil her olası dünyada doğru olması gerektiği için
- B) Ad sembollerinin yalnız gerçek varlıklar için kullanılabildiği için
- C) Adın gösterdiği şeyin var olup olmadığını ayrıca bildirmek gerektiği için
- D) Varlık önermelerinin doğru ya da yanlış değer alamadığı için
- E) E! değişmezinin ≡ değişmezinin yerine kullanılması gerektiği için
Cevabı göster
Doğru cevap: C) Adın gösterdiği şeyin var olup olmadığını ayrıca bildirmek gerektiği için
Ad sembolü hem gerçek hem hayalî varlıkları gösterebildiği için, söz edilen şeyin var olup olmadığı ayrıca E!a gibi bir önermeyle dile getirilir.
Zor
20Aşağıdaki önerme çiftlerinden hangisinde niceleme mantığına göre birincisi doğru, ikincisi yanlış değer alır?
- A) "Eros vardır." / "Anka kuşu vardır."
- B) "Kaf Dağı vardır." / "Everest tepesi vardır."
- C) "Anka kuşu vardır." / "Kaf Dağı vardır."
- D) "Alp Dağları vardır." / "Van Gölü vardır."
- E) "Everest tepesi vardır." / "Kaf Dağı vardır."
Cevabı göster
Doğru cevap: E) "Everest tepesi vardır." / "Kaf Dağı vardır."
Niceleme mantığında gerçek varlıktan söz eden "Everest tepesi vardır." doğru, gerçekte olmayan varlıktan söz eden "Kaf Dağı vardır." yanlıştır.
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.