The definition of <-> in terms of previous can’t be right, that’s always 1 regardless of a and b. Also you missed the vs in the formula for <->.
I don’t think so? If we substitute things it ends up being min(1−va+vb,1−vb+va) (restricted to [0, 1]) which is a perfectly cromulent formula.
It was previously strong_disjunction(a->b,b->a) instead of weak_conjunction(a->b,b->a) :P.
(I wonder how one decides whether to use weak or strong conjunction there...)
I don’t think so? If we substitute things it ends up being min(1−va+vb,1−vb+va) (restricted to [0, 1]) which is a perfectly cromulent formula.
It was previously strong_disjunction(a->b,b->a) instead of weak_conjunction(a->b,b->a) :P.
(I wonder how one decides whether to use weak or strong conjunction there...)