[대학교이상] 전칭기호의 해석 질문

[익명(118.235)]

A 거꾸로뒤집은 전칭기호를 V라 할게.

VnㅌN VaㅌA_n f(a)=0이다 라는 건

A_1에 속하는 모든 a에 대하여 f(a)=0이고

A_2에 속하는 모든 a에 대하여 f(a)=0이고

.

.

로 해석해야함??

아니면

A_1에도속하고A_2에도속하고...인

모든 a에 대하여 f(a)=0이다로 해석해야함?

두개의 명확한 표기를 알고싶음..ㅇㅅㅇ

- dc official App

[익명(lovecraftian)]

전자지

[익명(118.235)]

후자는 그럼 어케써야돼?표기를 - dc App

[익명(118.235)]

Va s.t VnㅌN s.t aㅌA_n f(a)=0이다 로하나? - dc App

[익명(lovecraftian)]

for all a in Intersection_n in N A_n, f(a)=0

[익명(lovecraftian)]

그건 좀 어색하지? 애초에 s.t. 이 표현을 'for all' 에 쓰던가?

[다믜(damhiya)]

전자가 맞고, 후자는 forall a, (forall n in N, a in A_n) -> f(a)=0