转置平等似乎不正确

Question

等式 s .~r等于第63页的r.s 。软件抽象似乎不正确。我相信 s .~r等于〜（r .~s）是正确的陈述。

Answer 1

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