修改了命题逻辑