Klasik mantıkta bir önermenin doğruluk değerini ve niteliğini değiştirmeden, öznesini yüklem, yüklemini de özne yapma işlemine 'düz döndürme' adı verilir.
Buna göre, 'Hiçbir ağaç taş değildir.' önermesinin düz döndürmesi aşağıdakilerden hangisidir?
- ABazı taşlar ağaç değildir.
- BHiçbir taş olmayan ağaç olmayan değildir.
- Hiçbir taş ağaç değildir.Cevap
- DBazı taşlar ağaçtır.
- EHer taş ağaçtır.
Cevap
Hiçbir taş ağaç değildir.
Düz döndürme kurallarına göre, tümel olumsuz bir önermenin düz döndürmesi yine tümel olumsuz bir önermedir. 'Hiçbir ağaç taş değildir' önermesi tümel olumsuz bir önerme olduğundan, özne ile yüklemin yerleri değiştirildiğinde nicelik ve nitelik korunarak 'Hiçbir taş ağaç değildir' önermesi elde edilir.
Adım Adım Çözüm
Anahtar Kavram
Önermelerde Düz Döndürme Kuralları