f：R→R

∀x∈R,∃f(x)∈R；f(x)=x-2　|=　x-2=0

を示す

(1)　¬(∀x∈R,∃f(x)∈R；f(x)=x-2　|=　x-2=0)
(2)　(∃f(x)∈R)f(x)=x-2
(3)　¬((∀x∈R)x-2=0)
(4)　f(2)=2-2=0　i.e.　f(2)=0　i.e.　x=2　　(2)
(5)　¬(∀x∈R)x-2≠0　i.e.　x≠2　　　　(3)
　　　　　　　　　×
　　　　　　　　(4),(5)

これで間違いない
関数から方程式を立てるとき関数の値域は
定義域に全く関係がないという結果を得た