Soru: Aşağıdaki ifadeyi sözel olarak açıklayınız: $\forall x (M(x) \rightarrow S(x))$, burada $M(x)$: "x memelidir", $S(x)$: "x sıcakkanlıdır", evrensel küme: Hayvanlar kümesi.
Çözüm: Bu ifadeyi adım adım çözümleyelim:
- $\forall x$: "Hayvanlar kümesindeki her x için"
- $M(x) \rightarrow S(x)$: "Eğer x memeli ise, o zaman x sıcakkanlıdır"
Birleştirirsek: "Hayvanlar kümesindeki her x için, eğer x memeli ise, o zaman x sıcakkanlıdır." Daha sade ifadeyle: "Tüm memeliler sıcakkanlıdır."
