命题一般形式的存在