Log for YSITD
函數（德語：Funktion，英語：Function, 法語：Fonction），在數學中，為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。
If x=y, then x and y denote the same element of f
's domain, whose image is determined.
If f:R→R
, f(t)=2t, x=1 and y=1, then surely f(x)=f(y), since f(1)=2, no matter what is your label for 1.
's domain, whose image is determined.
If f:R→R
, f(t)=2t, x=1 and y=1, then surely f(x)=f(y), since f(1)=2, no matter what is your label for 1.
那樣的話，proof by contradiction
已知x = y，假設f(x) != f(y)
設x = y = 1，則f(x) = f(1) = 2 = f(y)，矛盾發生
已知x = y，假設f(x) != f(y)
設x = y = 1，則f(x) = f(1) = 2 = f(y)，矛盾發生