Soru: "∃x (x^2 = 4)" ifadesi, x gerçek sayılar kümesinde (ℝ) değerlendirildiğinde doğru mudur? Açıklayın.
Çözüm: İfade, "en az bir x gerçek sayısı vardır öyle ki x'in karesi 4'e eşittir" anlamına gelir. Denklemi çözelim: x^2 = 4 ise x = 2 veya x = -2. Hem 2 hem -2 gerçek sayıdır ve koşulu sağlar. En az bir çözüm (örneğin x = 2) bulunduğu için varlıksal niceleyici doğru olur. Sonuç: Evet, ifade doğrudur (True), çünkü ℝ'de x = 2 veya x = -2 gibi değerler vardır.
