일해라유식아













1.for all x (p(x)->q(x))와 (for all x p(x)) -> (for all x q(x))는 다른 문장. 
2.함수가 모든점에서 0을갖는 상수함수는 아니지만 0인점이 존재는 한다 라는걸 말하고싶은것 같은데 그러면 (there exist s f(s)=0) and (there exist t ~(f(t)=0)) 이 돼야함.