Klasik mantıkta iki kavram arasındaki kaplam ve içlem ilişkisi, bu kavramların birbirini içine alma veya dışlama durumlarına göre belirlenir. Bir felsefe öğretmeni, tahtaya ve kavramları arasındaki ilişkiyi göstermek amacıyla şu iki bilgiyi yazmıştır:
- 'Bütün 'ler 'dir.' önermesi doğrudur.
- 'Bütün 'ler 'dir.' önermesi yanlıştır.
Buna göre, ve kavramları arasındaki ilişkiyle ilgili aşağıdakilerden hangisi kesinlikle doğrudur?
- Ave arasında eksik girişimlik ilişkisi vardır ve 'Bazı 'ler değildir' önermesi de doğrudur.
- Bve arasında eşitlik ilişkisi vardır ve her iki kavramın da kaplamları birbirine eşittir.
- ve arasında tam girişimlik ilişkisi vardır ve kavramının içlemi kavramının içleminden daha zengindir.Cevap
- Dve arasında tam girişimlik ilişkisi vardır ve kavramının içlemi kavramının içleminden daha zengindir.
- Eve arasında tam girişimlik ilişkisi vardır ve 'Bazı 'ler değildir' önermesi yanlıştır.
Cevap
K ve L arasında tam girişimlik ilişkisi vardır ve K kavramının içlemi L kavramının içleminden daha zengindir.
Verilen öncüllere göre K kavramının tüm elemanları L kümesine dahildir fakat L'nin tüm elemanları K kümesine dahil değildir. Bu durum klasik mantıkta 'tam girişimlik' ilişkisini ifade eder (). Kaplamı daha dar olan K kavramı, L kavramına göre daha fazla ayırt edici özelliğe (içleme) sahiptir. Bu nedenle K'nin içlemi L'ninkinden daha zengindir.
Adım Adım Çözüm
Anahtar Kavram
Klasik Mantıkta Kavramlar Arası İlişkiler ve İçlem-Kaplam İlişkisi