概率P(ABC)x3是什么意思