将下列命题符号化 虽然天气很冷,但是老王还是来了