전체한정자 A 존재한정자 E라고 쓰면


AxEy에 대해서 (x<y) -> (x^2 < y^2) 이 문제의 진리값을 구하면



counter example을 하나 들면 x = 1이고 y =  2일때 저 조건들을 항상 만족하잖아효


그럼 문제 자체의 답은 counter example이 나왔으니 false인데


counter example의 값을 대입해서 (x = 1, y = 2)


(1<2)는 true이고 (1^2 < 2^2)도 true니깐


true -> true가 돼서 결국 true가 답이 되어버리는 건가요??