2차 논리 질문

[익명(182.210)]

두 개념 P, φ에 대하여

P(φ)랑 □∀x{φ(x)→P(x)}는 의미가 어떻게 다른 거임?

[러셀(salvaveritate)]

다음과 같은 해석을 통해 사례를 들면 이해가 쉬울 것 같네요. [해석] P(X): X가 속성이다; ?(X): X가 색 속성이다. 이 경우 앞의 문장은 “‘색 속성임’은 속성이다”를 의미하고, 뒤의 문장은 “필연적으로, x가 색 속성이라면 x는 속성이다”를 의미하겠네요.

[러셀(salvaveritate)]

글자가 깨졌네요. ?라고 나오는 건 φ입니다.