코논 동일성 문장 파트 질문 드려요 ㅠ

[익명(58.234)]

ψ. (∀x)(∀y)(∀z)((Fx∧Fy∧Fz)→(x=y∨y=z∨z=x))

⇒F라는 속성을 지닌 대상은 기껏해야 2개 존재한다

어떻게 이렇게 해석되는 건가요??

D={a, b, c}, F={a}이고 이름 a, b, c에 대한 해석이 모두 철수인 모형에서 ψ가 참이고 이 때에는 F인 대상이 1개인거 아녜요?

[익명(180.83)]

맞아요. 그래서 '기껏해야' 라는 조건이 붙은 거예요. 예컨대 F가 성립하는 대상이 없어도 프사이는 성립해요.

[익명(58.234)]

앗... 기껏해야란 말을 잘못 알았었네요. 최대 2개인데 왜 정확히 2개인걸로 생각했찌;;