$$ P(A|B) = \frac{P(B|A) \cdot P(A)}{P(B)} $$
graph LR 形式逻辑[形式逻辑] --- 面向过去1[面向过去] 非形式逻辑[非形式逻辑] --- 面向过去2[面向过去] 统计概率[统计概率] --- 面向过去3[面向过去] 面向过去1 --- 当下 面向过去2 --- 当下 面向过去3 --- 当下 当下 --- 面向未来 面向未来 <--- 贝叶斯定理