表示论
formula_1 表示论断 "T" 成立的几率，已知 "X" 和 "I" 都是成立的，可以推得，