(4) 그는 한국의 현 왕이다
(5) 이 사람 이외의 어떤 사람도 한국의 현 왕이 아니다
(6) 그는 대머리이다.

이를 기호화하면 다음과 같다("…은 한국의 현재 왕이다"를 K로, "…는 대머리다"를 B로 기호화하자) : (∃x)

(4)' Kx
(5)' (y)(Ky ⊃ y = x)
(6)' Bx

여기에서 (5)'은 그러한 x가 유일하게 존재한다는 것을 말하고 있다. 결국, 문장 B는 다음과 같이 기호화된다 :

(B)' (∃x)(Kx & (y)(Ky ⊃ y = x) & Bx)1)






여기서 (5)번에 (y) 부분
뒤에는 y가 K이면 y=x다 같은데 (y)부분은 뭔 뜻임?
Ky일때 y=x인 y가 있다는 건가
저기서 소괄호가 빠지면 뭔 뜻이 되는거? y(Ky ⊃ y = x) 이러면. 꼭 소괄호로 둘러싸줘야 하는 이유가 잇음?


소괄호가 먼저 연산한다는 뜻인가 아니면 y가 집합이란 뜻인가 아니면 다른 뜻이 있는건가?