15.9 전칭 명제의 기호화