양화사 사용한 표현

[asdf(125.185)]

임의의 x에 대하여 y가 존재한다 s.t L(y,x)    1번

y가 존재해서 임의의 x에 대하여 L(y,x)     2번

1번->2번은 안되고 2번->1번은 맞는건 알겠는데 

만약에 임의의 x에 대해서 y가 존재하는데, 임의의 x에대해서 존재하는 y가 다 공통으로 해당하는 y가 있으면 1번->2번도 참이야?

[lp(24.3)]

만약 "임의의 x에대해서 존재하는 y가 다 공통" 이 ∀ x x' y y'. L(y,x) → L(y',x') → y = y' 를 의미한다면 domain에 따라 다름. 일반적으로 1차논리에서 상정하는 non-empty domain이라면 성립.

[논리야놀자(125.185)]

무슨말인지잘모르겠넹 ㅜㅠ