한국어뿐이 아니라 모든 자연언어는 논리식으로 번역하는게 어려워



"프랑스의 현재 그 왕은 대머리이다."의 번역

(F: 프랑스의 현재 왕, G: 대머리)


≡ (∃x)(Fx & (∀y)(Fy ⊃ y = x) & Gx)