15.10 존재 명제의 기호화