Soru: Aşağıdaki ifadenin anlamını sözel olarak ifade ediniz: $\exists x (K(x) \land \forall y (A(y) \rightarrow L(x,y)))$, burada $K(x)$: "x bir kitaptır", $A(y)$: "y bir öğrencidir", $L(x,y)$: "x, y tarafından okunmuştur", evrensel küme: Uygun nesneler kümesi.
Çözüm: Bu ifadeyi parçalara ayıralım:
- $\exists x$: "Öyle bir x vardır ki"
- $K(x)$: "x bir kitaptır"
- $\land$: "ve"
- $\forall y (A(y) \rightarrow L(x,y))$: "Her y için, eğer y bir öğrenci ise, o zaman x, y tarafından okunmuştur"
Birleştirirsek: "Öyle bir kitap x vardır ki, her öğrenci y için, x, y tarafından okunmuştur." Yani: "Tüm öğrenciler tarafından okunmuş en az bir kitap vardır."
