11. Sınıf Mantık · Modern (Sembolik) Mantık
Kiplik Mantığı
- kiplik
- zorunlu
- mümkün
- olası dünyalar
- mantıksal doğruluk
- olgusal doğruluk
Kiplik mantığı nedir, zorunlu ve mümkün önerme ne demektir?
Kiplik mantığı, önermelerin zorunlu ve mümkün olma durumlarını sembollerle inceleyen mantık sistemidir. Kiplik, önermenin dile getirdiği durumun gerçek, zorunlu ya da mümkün olmasıdır. Zorunlu “□”, mümkün “◊” sembolüyle gösterilir; “Pamuğun yumuşak olması zorunludur.” önermesi □p, “Pamuğun yumuşak olması mümkündür.” önermesi ◊p olarak yazılır. Zorunlu bir önerme yalnız gerçek dünyada değil, tüm olası dünyalarda doğru olmalıdır; mümkün bir önermenin doğru olması için ise en az bir dünyada doğru olması yeter. “Pamuk yumuşaktır.” gerçek dünyada doğrudur ve mümkündür, ama pamuğun yumuşak olmadığı bir dünya düşünülebildiği için zorunlu değildir. “Pamuk yumuşaktır veya yumuşak değildir.” önermesi her dünyada doğrudur; “Pamuk yumuşaktır ve yumuşak değildir.” ise hiçbir dünyada doğru olamaz. Zorunlu önermeler mantıksal doğruluğu, mümkün önermeler olgusal doğruluğu gösterir. □p doğruysa ◊p de doğrudur.
Kiplik Mantığı: konu anlatımı ve özeti
Bu konu, önermelerin zorunlu ve mümkün olma durumlarını sembollerle inceleyen kiplik mantığını anlatıyor. Kiplik, önermenin dile getirdiği durumun gerçek, zorunlu ya da mümkün olmasıdır.
- Kiplik değişmezleri: Zorunlu “□”, mümkün “◊” sembolüyle gösterilir. “Pamuğun yumuşak olması zorunludur.” □p, “Pamuğun yumuşak olması mümkündür.” ◊p olur.
- Diğer eklemler: Kiplik mantığı önermeler mantığının ~, ∧, ∨, ⇒, ⇔ eklemlerini de kullanır.
- Olası dünyalar: Zorunlu önerme yalnız gerçek dünyada değil, tüm olası dünyalarda doğru olmalıdır. Mümkün önermenin doğru olması için en az bir dünyada doğru olması yeter.
- Örnek çizelge: “Pamuk yumuşaktır.” gerçek dünyada doğrudur (p: D) ve mümkündür (◊p: D); ama pamuğun yumuşak olmadığı bir dünya düşünülebildiği için zorunlu değildir (□p: Y).
- Totoloji: “Pamuk yumuşaktır veya yumuşak değildir.” önermesi her dünyada doğrudur; hem gerçek, hem zorunlu, hem mümkündür.
- Çelişki: “Pamuk yumuşaktır ve yumuşak değildir.” hiçbir dünyada doğru olamaz; mümkün bile değildir.
- Doğruluk türleri: Zorunlu önermeler mantıksal doğruluğu, mümkün önermeler olgusal (gözlenebilen) doğruluğu gösterir.
Unutma: □p doğruysa ◊p de doğrudur, çünkü her dünyada doğru olan şey en az bir dünyada da doğrudur.
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
- □ ve ◊ sembollerini anlamlarıyla eşle: □ “her dünyada”, ◊ “en az bir dünyada”.
- Bir önerme için önce gerçek dünyada doğru mu diye bak (p).
- Sonra yanlış olduğu bir dünya düşünülebilir mi diye sor: düşünülebiliyorsa □p yanlıştır.
Günlük hayattan: “Yarın okul tatil olabilir.” mümkün bir önermedir; “Bir üçgenin üç kenarı vardır.” ise zorunludur, çünkü kenarı üç olmayan bir üçgen hiçbir dünyada düşünülemez.
Sık yapılan hata: Gerçek dünyada doğru olan her önermeyi zorunlu saymak. Pamuğun yumuşak olması doğrudur ama zorunlu değildir.
İpucu: Bir önermenin zorunlu olup olmadığını anlamak için “Bunun tersi çelişki mi doğurur?” diye sor; doğurmuyorsa zorunlu değildir.
Derinleş
Kitaptaki pamuk çizelgesini “Su 100 °C’de kaynar.” önermesi için yeniden kur: p, □p ve ◊p sütunlarını doldur ve her değerin gerekçesini bir cümleyle yaz. Düşün: Bilimsel yasalar mantıksal zorunluluk mu, yoksa olgusal doğruluk mu taşır?
Sorular
Soru bankasından bu konunun soruları, kolaydan zora.
Kolay
1Kiplik mantığında "zorunlu" kiplik değişmezi hangi sembolle gösterilir?
- A) ∀
- B) ≡
- C) ◊
- D) ∃
- E) □
Cevabı göster
Doğru cevap: E) □
Kiplik mantığında zorunlu "□", mümkün "◊" ile gösterilir.
Kolay
2"Pamuğun yumuşak olması mümkündür." önermesi (p: Pamuk yumuşaktır.) nasıl sembolleştirilir?
- A) ◊p
- B) ∃p
- C) □~p
- D) □p
- E) ~p
Cevabı göster
Doğru cevap: A) ◊p
"Mümkündür" ifadesi ◊ ile gösterilir: ◊p.
Kolay
3Kiplik mantığına göre bir önermenin zorunlu olması için aşağıdakilerden hangisi gerekir?
- A) Bütün olası dünyalarda doğru olması
- B) Hiçbir olası dünyada doğru olmaması
- C) Yalnız gerçek dünyada doğru olması
- D) Gözlemle bir kez doğrulanmış olması
- E) En az bir olası dünyada doğru olması
Cevabı göster
Doğru cevap: A) Bütün olası dünyalarda doğru olması
Zorunlu önerme yalnız gerçek dünyada değil, bütün olası dünyalarda doğru olmalıdır.
Kolay
4Kiplik mantığına göre bir önermenin mümkün olması için aşağıdakilerden hangisi yeterlidir?
- A) Matematiksel olarak kanıtlanmış olması
- B) En az bir olası dünyada doğru olması
- C) Bütün olası dünyalarda doğru olması
- D) Hiçbir olası dünyada doğru olmaması
- E) Yalnız gerçek dünyada yanlış olması
Cevabı göster
Doğru cevap: B) En az bir olası dünyada doğru olması
Mümkün önermenin doğru olması için en az bir olası dünyada doğru olması yeter.
Kolay
5Kiplik mantığıyla ilgili aşağıdakilerden hangisi doğrudur?
- A) Tartışmadaki karşı çıkışları "?n" ile gösterir.
- B) Önermelere doğru ve yanlış değerlerinin dışında belirsiz değerini de verir.
- C) Hayalî varlıklar için "var" değişmezini kullanır.
- D) Önermelerin zorunlu ve mümkün olma durumlarını sembollerle inceler.
- E) İki farklı adın aynı varlığı gösterdiğini sembolleştirir.
Cevabı göster
Doğru cevap: D) Önermelerin zorunlu ve mümkün olma durumlarını sembollerle inceler.
Kiplik mantığı önermelerin zorunlu ve mümkün olma durumlarını □ ve ◊ sembolleriyle inceler.
Kolay
6Kiplik mantığı, önermeler mantığının eklemleriyle ilgili aşağıdakilerden hangisini yapar?
- A) Eklemleri yalnız gerçek dünya için kullanır.
- B) Eklemlerin yerine niceleyiciler koyar.
- C) Yalnız ~ eklemini kullanır.
- D) Bu eklemlerin hepsini kullanmaz.
- E) ~, ∧, ∨, ⇒, ⇔ eklemlerini de kullanır.
Cevabı göster
Doğru cevap: E) ~, ∧, ∨, ⇒, ⇔ eklemlerini de kullanır.
Kiplik mantığı □ ve ◊ değişmezlerinin yanında önermeler mantığının eklemlerini de kullanır.
Kolay
7"Pamuk yumuşaktır veya yumuşak değildir." önermesi için aşağıdakilerden hangisi doğrudur?
- A) Mümkündür ama gerçek değildir.
- B) Her olası dünyada doğrudur; zorunludur.
- C) Hiçbir dünyada doğru değildir.
- D) Yalnız içinde yaşadığımız gerçek dünyada doğrudur.
- E) Yalnız bazı dünyalarda doğrudur.
Cevabı göster
Doğru cevap: B) Her olası dünyada doğrudur; zorunludur.
p ∨ ~p biçimindeki totoloji her olası dünyada doğrudur; bu yüzden hem gerçek, hem zorunlu, hem mümkündür.
Kolay
8"Pamuk yumuşaktır ve yumuşak değildir." önermesi için aşağıdakilerden hangisi doğrudur?
- A) Hiçbir olası dünyada doğru değildir.
- B) Gelecekte doğru olabilir.
- C) Yalnız gerçek dünyada doğrudur.
- D) Zorunlu değildir ama yine de mümkündür.
- E) Her olası dünyada doğrudur.
Cevabı göster
Doğru cevap: A) Hiçbir olası dünyada doğru değildir.
p ∧ ~p biçimindeki çelişki hiçbir dünyada doğru olamaz; mümkün bile değildir.
Orta
9"Pamuk yumuşaktır." önermesi gerçek dünyada doğrudur. Ancak pamuğun yumuşak olmadığı bir dünya düşünülebilir. Buna göre p, ◊p ve □p'nin değerleri sırasıyla aşağıdakilerden hangisidir?
- A) Yanlış, doğru, yanlış
- B) Doğru, yanlış, yanlış
- C) Doğru, yanlış, doğru
- D) Doğru, doğru, yanlış
- E) Doğru, doğru, doğru
Cevabı göster
Doğru cevap: D) Doğru, doğru, yanlış
p gerçek dünyada doğrudur; en az bir dünyada doğru olduğu için ◊p doğrudur; pamuğun yumuşak olmadığı bir dünya düşünülebildiği için □p yanlıştır.
Orta
10□p önermesi doğruysa ◊p için aşağıdakilerden hangisi söylenebilir?
- A) Kesinlikle yanlıştır.
- B) Doğru da yanlış da olabilir.
- C) Belirsizdir.
- D) Yalnız gerçek dünyada yanlıştır.
- E) Kesinlikle doğrudur.
Cevabı göster
Doğru cevap: E) Kesinlikle doğrudur.
Her dünyada doğru olan şey en az bir dünyada da doğrudur; bu yüzden □p doğruysa ◊p de doğrudur.
Orta
11◊p önermesi doğru iken □p için aşağıdakilerden hangisi söylenebilir?
- A) Kesinlikle yanlıştır.
- B) Her zaman belirsizdir.
- C) Doğru da yanlış da olabilir.
- D) ◊p'nin değillemesine eşittir.
- E) Kesinlikle doğrudur.
Cevabı göster
Doğru cevap: C) Doğru da yanlış da olabilir.
Bir önermenin en az bir dünyada doğru olması, her dünyada doğru olduğunu göstermez. □p ancak önerme bütün dünyalarda doğruysa doğrudur.
Orta
12Kiplik mantığında zorunlu önermeler ile mümkün önermeler hangi doğruluk türlerini gösterir?
- A) İkisi de doğruluk değil, yalnız belirsizlik bildirir.
- B) İkisi de yalnız olgusal (gözlenebilen) doğruluğu gösterir.
- C) Zorunlu önermeler mantıksal, mümkün önermeler olgusal doğruluğu gösterir.
- D) İkisi de yalnız mantıksal doğruluğu gösterir.
- E) Zorunlu önermeler olgusal, mümkün önermeler mantıksal doğruluğu gösterir.
Cevabı göster
Doğru cevap: C) Zorunlu önermeler mantıksal, mümkün önermeler olgusal doğruluğu gösterir.
Zorunlu önermeler mantıksal doğruluğu, mümkün önermeler ise gözlenebilen olgusal doğruluğu gösterir.
Orta
13"Bir üçgenin üç kenarı olması zorunludur." önermesi (p: Üçgenin üç kenarı vardır.) için aşağıdakilerden hangisi doğrudur?
- A) □p ile ◊p'nin ikisi de yanlıştır; çünkü önerme gözlemlenemez.
- B) □p yanlıştır; çünkü üçgenler yalnız içinde yaşadığımız gerçek dünyada bulunur.
- C) □p doğrudur; çünkü üç kenarı olmayan bir üçgen hiçbir dünyada düşünülemez.
- D) Yalnız ◊p doğrudur; çünkü bazı dünyalarda üçgen dört kenarlıdır.
- E) □p belirsizdir; çünkü gelecekteki dünyalar bilinemez.
Cevabı göster
Doğru cevap: C) □p doğrudur; çünkü üç kenarı olmayan bir üçgen hiçbir dünyada düşünülemez.
Üçgenin üç kenarlı olması tanımından gelir; üç kenarı olmayan bir üçgen hiçbir olası dünyada olamaz. Bu yüzden □p doğrudur ve önerme mantıksal doğruluğu gösterir.
Orta
14"Bu sabah okul servisi geç geldi." önermesi gerçek dünyada doğrudur. Bu önerme için aşağıdakilerden hangisi söylenebilir?
- A) Ne zorunlu ne mümkündür.
- B) Zorunludur ama mümkün değildir.
- C) Hem zorunlu hem mümkündür.
- D) Mümkündür ama zorunlu değildir.
- E) Çelişki olduğu için yanlıştır.
Cevabı göster
Doğru cevap: D) Mümkündür ama zorunlu değildir.
Olay gerçek dünyada olduğu için en az bir dünyada doğrudur (mümkün). Servisin zamanında geldiği bir dünya da düşünülebildiği için zorunlu değildir.
Orta
15"◊p ∧ ◊~p" önermesi doğru olan bir p önermesi için aşağıdakilerden hangisi söylenebilir?
- A) p bir çelişkidir ve hiçbir dünyada mümkün değildir.
- B) p'nin doğru olduğu da yanlış olduğu da bir dünya vardır.
- C) p, gerçek dünya dâhil bütün olası dünyalarda doğrudur.
- D) p bir totolojidir ve zorunludur.
- E) p hiçbir olası dünyada doğru değildir.
Cevabı göster
Doğru cevap: B) p'nin doğru olduğu da yanlış olduğu da bir dünya vardır.
◊p, p'nin en az bir dünyada doğru; ◊~p ise en az bir dünyada yanlış olduğunu söyler. Böyle bir önerme zorunlu değil, olumsaldır.
Orta
16"Kiplik" kavramının anlamı aşağıdakilerden hangisidir?
- A) Önermenin tümel ya da tikel olması
- B) Önermenin özne ve yükleminin aynı varlığı göstermesi
- C) Önermenin doğru, yanlış ya da belirsiz değer alması
- D) Önermedeki durumun gerçek, zorunlu ya da mümkün olması
- E) Önermenin olumlu ya da olumsuz olması
Cevabı göster
Doğru cevap: D) Önermedeki durumun gerçek, zorunlu ya da mümkün olması
Kiplik, önermenin dile getirdiği durumun gerçek, zorunlu ya da mümkün olmasıdır.
Zor
17Bir öğrenci "Pamuk yumuşaktır." önermesinin gerçek dünyada doğru olduğunu gösterip "O hâlde pamuğun yumuşak olması zorunludur." diyor. Öğrencinin akıl yürütmesindeki hata aşağıdakilerden hangisidir?
- A) Önermeyi niceleyiciyle sembolleştirmesi
- B) Gerçek dünyadaki doğruluktan zorunluluğa geçmesi
- C) Mümkün bir önermeyi hiçbir dünyada doğru olmayan çelişki sayması
- D) Zorunlu bir önermeyi yalnız mümkün sayması
- E) Totolojiyi olgusal bir doğru gibi sınaması
Cevabı göster
Doğru cevap: B) Gerçek dünyadaki doğruluktan zorunluluğa geçmesi
Bir önermenin gerçek dünyada doğru olması onu ancak mümkün kılar. Zorunlu olması için bütün olası dünyalarda doğru olması gerekir; pamuğun yumuşak olmadığı bir dünya düşünülebilir.
Zor
18Aşağıdaki önermelerden hangisi kiplik mantığı bakımından her durumda doğrudur?
- A) □p ⇒ ◊p
- B) ◊p ⇒ □p
- C) p ⇒ □p
- D) ◊p ⇒ p
- E) ◊p ⇒ ~p
Cevabı göster
Doğru cevap: A) □p ⇒ ◊p
Her dünyada doğru olan en az bir dünyada da doğrudur; bu yüzden □p ⇒ ◊p her durumda doğrudur. Öteki koşullarda ön bileşen doğruyken art bileşen yanlış olabilir.
Zor
19Aşağıdaki önermelerden hangisi için "mümkün değildir" (◊ ile gösterilen değeri yanlıştır) denebilir?
- A) Yarın sabah İstanbul'a yoğun kar yağacaktır.
- B) Bu kare dört kenarlıdır.
- C) Bu kare dört kenarlıdır ve dört kenarlı değildir.
- D) Pamuk sert bir maddedir.
- E) Ahmet dünkü matematik sınavından tam puan almıştır.
Cevabı göster
Doğru cevap: C) Bu kare dört kenarlıdır ve dört kenarlı değildir.
p ∧ ~p biçimindeki çelişki hiçbir olası dünyada doğru olamaz; bu yüzden mümkün değildir. Öteki önermelerin doğru olduğu en az bir dünya düşünülebilir.
Zor
20p bir totoloji, q ise gerçek dünyada doğru ama zorunlu olmayan bir önermedir. Aşağıdakilerden hangisi doğrudur?
- A) □p yanlış, □q doğru, ◊q doğrudur.
- B) □p doğru, □q yanlış, ◊q yanlıştır.
- C) □p yanlış, □q yanlış, ◊q yanlıştır.
- D) □p doğru, □q doğru, ◊q yanlıştır.
- E) □p doğru, □q yanlış, ◊q doğrudur.
Cevabı göster
Doğru cevap: E) □p doğru, □q yanlış, ◊q doğrudur.
Totoloji her dünyada doğru olduğu için □p doğrudur. q gerçek dünyada doğru olduğundan mümkündür (◊q doğru); zorunlu olmadığı verildiğinden □q 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.
