이 책에 나오는 논리식들 해석이 맞는지 검토해줄 사람??


1. (y)((x)A(x)->A(y)) => 모든 y에 대하여 x가 A를 가지면 y도 A를 가진다
- A(x) 왼쪽의 (x)는 임의의 x에 대하여를 뜻하는거 맞음??

2. (∃y)((x)◇(x≠y)) => 모든 x에 대하여 x와 y가 같지 않을 수 있는 y가 있는 가능세계가 적어도 하나 존재한다

양상논리 이렇게 해석하는거 맞나 모르겠네