10. 论没有格式的模态命题