If X = { “2*2=4” }, then P(“2*2=4 ∨ 0=1“ | X) = 1, because “2*2=4 ∨ 0=1” ∈ OLC(X).However, P(“2*3=6” | X) < 1, although P(“2*3=6“ | X ∪ {”2*3=6”}) = 1.
If X = { “2*2=4” }, then P(“2*2=4 ∨ 0=1“ | X) = 1, because “2*2=4 ∨ 0=1” ∈ OLC(X).
However, P(“2*3=6” | X) < 1, although P(“2*3=6“ | X ∪ {”2*3=6”}) = 1.