Soru: Aşağıdaki ifadelerden hangisi "Bir sayının karesi 9'dur ancak ve ancak bu sayı 3 veya -3'tür" ifadesinin sembolik mantık dilindeki karşılığıdır?
A) $x^2 = 9 \Leftrightarrow x = 3$
B) $x^2 = 9 \Leftrightarrow x = -3$
C) $x^2 = 9 \Leftrightarrow (x = 3 \lor x = -3)$
D) $x^2 = 9 \Rightarrow (x = 3 \lor x = -3)$
Çözüm: "Ancak ve ancak" bağlacı ($\Leftrightarrow$) iki yönlü koşullu önermeyi ifade eder. Yani, $p \Leftrightarrow q$ ifadesi, p doğru ise q doğrudur ve q doğru ise p doğrudur anlamına gelir. Sorudaki ifade, bir sayının karesinin 9 olması ile o sayının 3 veya -3 olması durumlarının birbirine bağlı olduğunu belirtir. Bu nedenle doğru sembolik ifade, $x^2 = 9 \Leftrightarrow (x = 3 \lor x = -3)$ şeklindedir. Cevap: C
