Bu soruda, mantıkta temel bir kavram olan önermenin değili (olumsuzu) ve doğruluk değeri arasındaki ilişkiyi anlamamız isteniyor. Adım adım inceleyelim:
- 1. Önermenin Değili (Olumsuzu) Nedir?
- Bir $P$ önermesinin değili, $P'$ (veya $\neg P$) ile gösterilir. Değil işlemi, önermenin doğruluk değerini tam tersine çevirir.
- Yani, eğer $P$ doğru ise ($D(P)=1$), $P'$ yanlış olur ($D(P')=0$).
- Eğer $P$ yanlış ise ($D(P)=0$), $P'$ doğru olur ($D(P')=1$).
- Bu temel tanıma göre, bir önermenin değili alındığında doğruluk değeri mutlaka değişir.
- 2. Sorudaki Durumu Anlayalım:
- Soru, "Bir önermenin değili alındığında doğruluk değeri değişmiyorsa" diyor. Bu ifade, $P$ önermesinin doğruluk değeri ile $P'$ önermesinin doğruluk değerinin aynı olmasını gerektirir. Yani, $D(P) = D(P')$ olmalıdır.
- Ancak 1. adımda gördüğümüz gibi, değili alma tanımı gereği $D(P)$ her zaman $D(P')$'nin tersidir. Dolayısıyla, $D(P) = D(P')$ gibi bir durumun gerçekleşmesi mantıken imkansızdır.
- 3. Mantıksal İmkansızlık ve Çelişki İlişkisi:
- Eğer bir önerme, kendi değiline denk olsaydı ($P \equiv P'$), bu durumun kendisi her zaman yanlış olan bir ifade olurdu. Neden mi?
- Eğer $P$ doğru olsaydı, $P'$ yanlış olurdu. Bu durumda "$P \equiv P'$" ifadesi "Doğru $\equiv$ Yanlış" anlamına gelirdi ki bu da yanlıştır.
- Eğer $P$ yanlış olsaydı, $P'$ doğru olurdu. Bu durumda "$P \equiv P'$" ifadesi "Yanlış $\equiv$ Doğru" anlamına gelirdi ki bu da yanlıştır.
- Görüldüğü gibi, "$P \equiv P'$" ifadesi, $P$'nin doğruluk değeri ne olursa olsun, her zaman yanlış bir doğruluk değerine sahiptir.
- 4. Çelişki Tanımı:
- Mantıkta, bileşenlerinin doğruluk değerleri ne olursa olsun, her zaman yanlış olan önermelere çelişki denir. Örneğin, "$P \land P'$" önermesi her zaman yanlıştır ve bir çelişkidir.
- 5. Sonuç:
- Soru, mantıksal olarak imkansız olan "$P$'nin doğruluk değeri, $P'$'nin doğruluk değeri ile aynıdır" durumunu tanımlamaktadır. Bu durumun kendisi (yani "$P \equiv P'$" ifadesi) her zaman yanlış olan bir önermedir. Bu nedenle, bu tür bir durumu ifade eden önerme türü bir çelişkidir.
Cevap B seçeneğidir.
