Verilen önermenin değerini bulmak için adım adım ilerleyelim:
- Adım 1: Verilen değerleri yerine yazalım.
- Adım 2: Bileşik önermeyi değerlendirelim.
- Adım 3: Parantez içindeki iki yönlü koşullu önermeyi değerlendirelim.
- Adım 4: Önermenin değilini alalım.
- Adım 5: Seçenekleri değerlendirelim.
- A) $q \implies p$
- B) $p \implies q$
- C) $p' \land q$
- D) $q \lor p$
- E) $p' \iff q$
Bize $p=0$ ve $q=1$ olarak verilmiştir.
Öncelikle $q'$ değerini bulalım: $q=1$ ise $q'=0$ olur.
Bileşik önermemiz $(p \iff q')'$ şeklindedir.
$p=0$ ve $q'=0$ değerlerini yerine yazarsak:
$(0 \iff 0)'$
$(0 \iff 0)$ önermesi, iki tarafın da doğruluk değeri aynı olduğu için doğrudur (1).
Yani, $(0 \iff 0) = 1$.
Şimdi elimizde $(1)'$ var. Bir önermenin değili, doğruluk değerini tersine çevirir.
$(1)' = 0$.
Dolayısıyla, verilen bileşik önermenin doğruluk değeri 0'dır.
Şimdi seçeneklerdeki önermelerin doğruluk değerlerini $p=0$ ve $q=1$ için bulalım:
$1 \implies 0$. Koşullu önerme $1 \implies 0$ durumunda yanlıştır (0).
Bu, bulduğumuz değerle aynıdır.
$0 \implies 1$. Koşullu önerme $0 \implies 1$ durumunda doğrudur (1).
$p=0$ ise $p'=1$. O zaman $1 \land 1$. Ve ( $\land$ ) bağlacı her iki önerme de doğru olduğunda doğrudur (1).
$1 \lor 0$. Veya ( $\lor$ ) bağlacı en az bir önerme doğru olduğunda doğrudur (1).
$p=0$ ise $p'=1$. O zaman $1 \iff 1$. İki yönlü koşullu önerme her iki önerme de aynı doğruluk değerine sahip olduğunda doğrudur (1).
Sadece A seçeneği, verilen bileşik önermenin doğruluk değeri olan 0'a denktir.
Cevap A seçeneğidir.