我试图理解“存在魔杖”运算符的意义。我看到(P * Q) -o R = P -o (Q -o R)，这显然是一种柯里化形式，|> (P -o Q) = |> P -o |> Q只是一个分配公理。
公理ewand_TT_sepcon( (P * Q) && (R -o TT) |-- (P && (R -o TT)) * (Q && (R -o TT)))、exclude_elsewhere( P * Q |-- (P && (Q -o TT)) * Q))
和ewand_conflict( P * Q |-- FF -> P && (Q -o R) |-- FF) 让我感到困惑。
存在魔杖的预期语义是什么？