\(ax^2-2x-a=0\)を解け．ただし，\(a\)は定数とする．
「（ア）\(a=0\)のとき～（イ）\(a\neq0\)のとき～，」という，\(a\)が０かどうかで場合分けするお馴染みの問題です。これを論理式で記述すると
\[
\begin{align*}
&ax^2-2x-a=0 \land(a=0 \lor a \neq 0)\\
\Longleftrightarrow~ & (ax^2-2x-a=0 \land a=0) \lor (ax^2-2x-a=0 \land a \neq 0)\\
\Longleftrightarrow~ & (0-2x-0=0 \land a=0) \lor \left(x=\frac{1\pm\sqrt{1^2-a\cdot(-a)}}{a} \land a \neq 0 \right)\\
\Longleftrightarrow~ & (x = 0 \land a=0) \lor \left(x=\frac{1\pm\sqrt{1+a^2}}{a} \land a \neq 0 \right)
\end{align*}
\]
となります。