python真假命题_python中的命题演算

A，B，C。。。在这个示例中，您所展示的似乎是集，

不是命题。这是有可能的

关于这些类型的语句，但不是as

在我看来，命题逻辑。在

从语义上比较这些语句，这是什么

你想要这里，需要更复杂的逻辑，

但更简单的方法也许是重写

所有语句都可以通过纯文本进行比较

比较。一、 通过忽略交换性，这

声明(A ⋃ B) ⋂ C

和这句话一样

^{pr2}$

即使这不是一个完美的设置，因为

是不被认可的等价语句

使用逻辑等价性来解决这个问题的过程

再努力一点。使用重写逻辑或多或少起到了作用

你想要什么就用多少努力。基本上都是你

需要指定哪些二进制运算符是

交换的。重写等价物的几个等式

还添加了语句，您可能需要添加更多。。。

我用莫德写了些东西http://maude.cs.uiuc.edu/mod VennDiagram is

- sorts

sort Set .

sort Statement .

subsort Set < Statement .

- propositional formulas

op a : -> Set .

op b : -> Set .

op c : -> Set .

op d : -> Set .

op e : -> Set .

op f : -> Set .

op g : -> Set .