Öncelikle, verilen $p(x)$: "$x$ bir asal sayıdır." önermesinin evrensel küme $E = \{1, 2, 3, 4, 5, 6\}$ elemanları için doğruluk değerlerini belirleyelim.
Şimdi her bir niceleyicili önermenin doğruluk değerini inceleyelim:
Bu önerme, "Evrensel küme $E$'de en az bir $x$ elemanı vardır ki $x$ bir asal sayıdır." anlamına gelir. $E$ kümesinde $2, 3, 5$ gibi asal sayılar bulunmaktadır. Örneğin, $x=2$ için $p(2)$ doğru ($1$) olduğu için bu önerme doğrudur.
Doğruluk değeri: $1$.
Bu önerme, "Evrensel küme $E$'deki her $x$ elemanı için $x$ bir asal sayıdır." anlamına gelir. Bu önermenin doğru olması için $E$ kümesindeki tüm elemanların asal olması gerekir. Ancak $x=1$ için $p(1)$ yanlış ($0$) olduğu için, bu önerme yanlıştır. (Aynı şekilde $x=4$ ve $x=6$ için de $p(x)$ yanlıştır.)
Doğruluk değeri: $0$.
Bu önerme, "Evrensel küme $E$'de en az bir $x$ elemanı vardır ki $x$ bir asal sayı değildir." anlamına gelir. $E$ kümesinde $1, 4, 6$ gibi asal olmayan sayılar bulunmaktadır. Örneğin, $x=1$ için $p(1)$ yanlış ($0$) olduğu için $\sim p(1)$ doğru ($1$) olur. Bu nedenle önerme doğrudur.
Doğruluk değeri: $1$.
Bu önerme, "Evrensel küme $E$'de en az bir $x$ elemanı vardır ki $x$ hem çift sayıdır hem de asal sayıdır." anlamına gelir. $x=2$ elemanını inceleyelim: $2$ bir çift sayıdır (doğru) ve $p(2)$ ($2$ bir asal sayıdır) doğru olduğu için, $(x \text{ çift sayıdır } \land p(x))$ önermesi $x=2$ için doğru ($1 \land 1 \equiv 1$) olur. Bu koşulu sağlayan en az bir eleman bulunduğu için önerme doğrudur.
Doğruluk değeri: $1$.
Bu önerme, "Evrensel küme $E$'deki her $x$ elemanı için $x$ tek sayıdır veya $x$ asal sayı değildir." anlamına gelir. Bu önermenin doğru olması için $E$ kümesindeki her eleman için $(x \text{ tek sayıdır } \lor \sim p(x))$ ifadesinin doğru olması gerekir. $x=2$ elemanını inceleyelim: "$2$ tek sayıdır" ifadesi yanlıştır ($0$). "$\sim p(2)$" ifadesi "$2$ asal sayı değildir" anlamına gelir. Ancak $2$ bir asal sayı olduğu için $p(2)$ doğru ($1$), dolayısıyla $\sim p(2)$ yanlıştır ($0$). Bu durumda, $x=2$ için $(x \text{ tek sayıdır } \lor \sim p(x))$ ifadesi $(0 \lor 0)$ olur ki bu da yanlıştır ($0$). $E$ kümesinde en az bir eleman ($x=2$) için önerme yanlış olduğu için, $\forall x$ ile başlayan bu niceleyicili önerme yanlıştır.
Doğruluk değeri: $0$.
Yukarıdaki incelemelere göre, doğruluk değeri $0$ olan niceleyicili önermeler B ve E seçenekleridir. Ancak soruda tek bir doğru cevap beklendiği ve belirtildiği üzere,
Cevap B seçeneğidir.