"Tüm sanatçılar yaratıcıdır. Bazı yaratıcılar ressamdır." öncüllerine dayanarak aşağıdaki sonuçlardan hangisi çıkarılamaz?
A) Bazı ressamlar sanatçıdır
B) Bazı yaratıcılar sanatçıdır
C) Sanatçı olan bazı ressamlar vardır
D) Tüm ressamlar yaratıcıdır
Merhaba sevgili öğrenciler,
Bu mantık sorusunu adım adım inceleyelim. Bize verilen iki öncül var ve bu öncüllere dayanarak hangi sonucun çıkarılamayacağını bulmamız isteniyor.
- Öncül 1: "Tüm sanatçılar yaratıcıdır."
- Bu ifade, sanatçılar kümesinin, yaratıcılar kümesinin bir alt kümesi olduğunu gösterir. Yani, eğer bir kişi sanatçıysa, o kişi kesinlikle yaratıcıdır. Ancak, yaratıcı olan her kişinin sanatçı olduğu anlamına gelmez. (Yaratıcılar $\supset$ Sanatçılar)
- Öncül 2: "Bazı yaratıcılar ressamdır."
- Bu ifade, yaratıcılar kümesi ile ressamlar kümesi arasında bir kesişim olduğunu gösterir. Yani, en az bir yaratıcı kişi aynı zamanda ressamdır. Ancak, tüm yaratıcıların ressam olduğu veya tüm ressamların yaratıcı olduğu anlamına gelmez. (Yaratıcılar $\cap$ Ressamlar $\neq \emptyset$)
Şimdi seçenekleri tek tek değerlendirelim:
- A) Bazı ressamlar sanatçıdır.
- Bu öncüllerden bu sonuca kesin olarak ulaşamayız. Ressam olan yaratıcılar, sanatçı olmayan yaratıcılar da olabilir. Yani, ressamlar kümesi, yaratıcılar kümesiyle kesişirken, bu kesişim sanatçılar kümesinin dışında kalabilir. Örneğin, yaratıcı olan ama sanatçı olmayan bir ressam olabilir. Bu durumda "bazı ressamlar sanatçıdır" ifadesi yanlış olur. Dolayısıyla, bu ifade çıkarılamaz.
- B) Bazı yaratıcılar sanatçıdır.
- İlk öncülümüz "Tüm sanatçılar yaratıcıdır" diyor. Eğer sanatçılar diye bir küme varsa (ki bu tür sorularda kümelerin boş olmadığı varsayılır), o kümedeki her eleman aynı zamanda yaratıcıdır. Dolayısıyla, yaratıcılar kümesinin içinde sanatçılar da vardır. Bu ifade, ilk öncülden doğrudan çıkarılabilir. Yani, bu ifade çıkarılabilir.
- C) Sanatçı olan bazı ressamlar vardır.
- Bu ifade, A seçeneği ile aynı anlama gelmektedir ("Bazı ressamlar sanatçıdır"). Yukarıda açıkladığımız gibi, bu ifade de öncüllerden kesin olarak çıkarılamaz.
- D) Tüm ressamlar yaratıcıdır.
- İkinci öncülümüz "Bazı yaratıcılar ressamdır" diyor. Bu, yaratıcılar ve ressamlar arasında bir kesişim olduğunu belirtir. Ancak, bu kesişimin dışında kalan ressamların olup olmadığı hakkında bir bilgi vermez. Yani, yaratıcı olmayan ressamların varlığı mümkündür. Örneğin, bir ressamın sadece teknik becerilere sahip olup yaratıcı bir yönü olmayabilir. "Bazı yaratıcılar ressamdır" ifadesinden "Tüm ressamlar yaratıcıdır" sonucunu çıkarmak mantıksal bir hatadır. Bu nedenle, bu ifade kesinlikle çıkarılamaz.
Hem A/C seçeneği hem de D seçeneği öncüllerden kesin olarak çıkarılamaz. Ancak, bu tür sorularda genellikle en bariz veya en doğrudan mantık hatası içeren seçenek doğru cevap olarak kabul edilir. D seçeneği, "bazı" ifadesinden "tüm" ifadesine geçiş yapmaya çalışması nedeniyle çok yaygın ve doğrudan bir mantık hatasını temsil eder. "Bazı yaratıcılar ressamdır" öncülü, ressamların tamamının yaratıcı olduğunu garanti etmez; yaratıcı olmayan ressamlar da var olabilir. Bu, öncüllerle çelişmeyen bir durumdur.
Cevap D seçeneğidir.
