在Python中为logi定义运算符

Question

我在写我自己的符号逻辑模块，其中有句子类，原子子类和连词，等等。我想用一种比较自然的方式来定义语句之间的运算，并可能最终定义通用量化的运算等等。到目前为止，我已经定义了__invert__和__and__

我对用|表示“or”有点不满意，因为在逻辑上，这通常用v形楔形表示，但我可以接受。类似地，我想要一个中缀运算符来表示“如果。。。然后…“然后”。。。当且仅当。我想要“如果。。。然后……“像->但是我又愿意和>一起生活，所以我定义了__gt__

但我和“。。。如果且仅当……“这似乎真的没有好的选择。我可能会用==，但我可能会想保留它，以便句子是等价的，所以

有什么建议吗