转置平等似乎不正确

Question

等式 s.~r 等于第 63 页上的 r.s。软件抽象似乎不正确。我相信 s.~r 等于 ~(r.~s) 是正确的说法。

Answer 1

在这个语句中，s是一个集合，所以~s不是一个合法的表达式。