편입 문젠데 이거 잘못된 거 아님?

[익명(117.111)]

저 밑줄 그은 거 괄호가 저렇게 되면 안되지 않음?

(Ex)(Kx & (y)(Ky->y=x) & Bx)

이렇게 해야 맞는 거 아니냐?

논리 연산 순서는 양화사가 더 먼저 아님?

[익명(180.134)]

그러게 저건 좀 잘못됐는데?

[익명(180.83)]

맞기는 한데, 용납 가능한 선에서의 이야기라고 봐도 됨.

[익명(180.83)]

아마 x가 나오는 한까지는 스코프가 묶여 있을 거라고 사람들이 여겨주겠지 하고 문제 냈나보지.