Değilleme eklemi (~) hangi mantık işlemini temsil eder?
A) Bir önermenin doğruluk değerini tersine çevirir
B) İki önermeyi birleştirir
C) Bir önermenin doğruluk değerini aynı tutar
D) Önermeler arasında koşul bağlantısı kurar
Mantıkta, önermeler arasındaki ilişkileri veya önermelerin kendilerinin özelliklerini değiştiren sembollere "mantık eklemleri" veya "bağlaçlar" denir. Değilleme eklemi (~) de bu önemli eklemlerden biridir.
- Değilleme Eklemi (~) Nedir?
Değilleme eklemi, bir önermenin doğruluk değerini tam tersine çeviren bir mantık işlemidir. Yani, eğer bir önerme doğruysa, onun değillemesi yanlış olur; eğer bir önerme yanlışsa, onun değillemesi doğru olur. Bu işleme "olumsuzlama" veya "inkar etme" de denir.
- Seçenekleri İnceleyelim:
- A) Bir önermenin doğruluk değerini tersine çevirir: Bu ifade, değilleme ekleminin (~) temel tanımıdır. Örneğin, "Hava güneşlidir" önermesi doğruysa, "Hava güneşli değildir" (yani değillemesi) yanlış olur. Eğer "Hava yağmurludur" önermesi yanlışsa, "Hava yağmurlu değildir" (yani değillemesi) doğru olur. Bu nedenle A seçeneği doğrudur.
- B) İki önermeyi birleştirir: Bu işlem, "ve" ($\land$) veya "veya" ($\lor$) gibi bağlaçlarla yapılır. Örneğin, "Ali çalışıyor ve Ayşe ders çalışıyor" gibi ifadeler iki önermeyi birleştirir. Değilleme eklemi tek bir önerme üzerinde işlem yapar.
- C) Bir önermenin doğruluk değerini aynı tutar: Bu, mantıkta özel bir işlem değildir ve değilleme ekleminin yaptığı işin tam tersidir. Değilleme her zaman doğruluk değerini değiştirir.
- D) Önermeler arasında koşul bağlantısı kurar: Bu işlem, "ise" ($\to$) bağlacı ile yapılır. Örneğin, "Eğer yağmur yağarsa, yerler ıslanır" ifadesi bir koşul bağlantısı kurar. Değilleme eklemi koşul bağlantısı kurmaz, tek bir önermenin doğruluk değerini değiştirir.
Bu açıklamalara göre, değilleme eklemi (~) bir önermenin doğruluk değerini tersine çevirme işlevini görür.
Cevap A seçeneğidir.
