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

不是命題。這是有可能的

關于這些類型的語句，但不是as

在我看來，命題邏輯。在

從語義上比較這些語句，這是什么

你想要這里，需要更復雜的邏輯，

但更簡單的方法也許是重寫

所有語句都可以通過純文本進行比較

比較。一、 通過忽略交換性，這

聲明(A ? B) ? C

和這句話一樣

^{pr2}$

即使這不是一個完美的設置，因為

是不被認可的等價語句

使用邏輯等價性來解決這個問題的過程

再努力一點。使用重寫邏輯或多或少起到了作用

你想要什么就用多少努力?；旧隙际悄?/p>

需要指定哪些二進制運算符是

交換的。重寫等價物的幾個等式

還添加了語句，您可能需要添加更多。。。

我用莫德寫了些東西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 .

op h : -> Set .

op i : -> Set .

op j : -> Set .

- and so on ....

- connectives

op ?_ : Statement -> Statement .

op _? : Statement -> Statement . - complement

op _∨_ : Statement Statement -> Statement [ comm ] .

op _∧_ : Statement Statement -> Statement [ comm ] .

op _?_ : Statement Statement -> Statement [ comm ] .

op _→_ : Statement Statement -> Statement .

op _?_ : Statement Statement -> Statement [ comm ] .

op _?_ : Statement Statement -> Statement [ comm ] .

op _←_ : Statement Statement -> Statement .

vars S1 S2 S3 S4 : Statement . - variables

- simplify statemens through equivalence

eq S1 → S2 = ? S1 ∨ S2 .

eq S1 ? S2 = (S1 → S2) ∧ (S2 → S1) .

eq ? ? S1 = S1 .

eq S1 ← S2 = S2 → S1 .

eq ? ( S1 ∧ S2 ) = (? S1) ∨ (? S2) .

- possibly other equivalences as well..

endm

- check equality

reduce a ? b == (b → a) ∧ (a → b) .

reduce ? a ? ( a ∨ b ) == ? a ? ( b ∨ a ) .

reduce (a ? b) ? c == c ? (b ? a) .

- what you need to do is to compare the right answer

- with a student answer through a simple comparison..

- reduce StudentAnswer == RightAnswer

總結

以上是生活随笔為你收集整理的python真假命题_python中的命题演算的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。