게으른맽랩 lazy matlab

(참고: quantifier를 양화사라고 부르기도 하는데, 개인적으로 한정사라고 부르기를 더 좋아한다.) 아래 두 명제를 보자. For $x, y \in \mathbb{R}$, 1) $\forall x, \exists y, x+y=0$2) $\exists y, \forall x, x+y=0$ 둘 중 하나만 참이다. 어느게 참일까? 명제는 앞에서부터 읽어야 한다. 그리고 각각의 한정사는 뒤의 모든 내용을 한정짓는다. 1) $\forall x, \exists y, x+y=0$ 임의의 실수 $x$에 대해서 뒤의 내용이 참이라는 뜻이다. 즉,임의의 실수 $x$에 대해 어떤 실수 $y$가 존재하여 $x+y=0$을 만족한다.라는 뜻이다. 간혹 아래와 같이 번역되는 경우가 있다.임의의 실수 $x$에 대해 $x+y=0..