M C ( Ω ) ( O 1 , S [ ω 0 ] )
( = P 1 )
M C ( Ω ) ( Φ t 1 , t 2 O 2 , S [ ω 0 ] )
( = P 2 )
probability:
p = × i = 1 , 2 q p μ i
[ ¬ P 1 → ¬ P 2 ]
[ P 2 → P 1 ]
T
p 12 = × i = 1 , 2 q p μ i ( { ( T , T ) } )
F
p 1 2 ¯ = × i = 1 , 2 q p μ i ( { ( T , F ) } )
p 1 ¯ 2 = × i = 1 , 2 q p μ i ( { ( F , T ) } )
p 1 ¯ 2 ¯ = × i = 1 , 2 q p μ i ( { ( F , F ) } )