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

不是命題。這是有可能的

關(guān)于這些類(lèi)型的語(yǔ)句，但不是as

在我看來(lái)，命題邏輯。在

從語(yǔ)義上比較這些語(yǔ)句，這是什么

你想要這里，需要更復(fù)雜的邏輯，

但更簡(jiǎn)單的方法也許是重寫(xiě)

所有語(yǔ)句都可以通過(guò)純文本進(jìn)行比較

比較。一、 通過(guò)忽略交換性，這

聲明(A ? B) ? C

和這句話(huà)一樣

^{pr2}$

即使這不是一個(gè)完美的設(shè)置，因?yàn)?/p>

是不被認(rèn)可的等價(jià)語(yǔ)句

使用邏輯等價(jià)性來(lái)解決這個(gè)問(wèn)題的過(guò)程

再努力一點(diǎn)。使用重寫(xiě)邏輯或多或少起到了作用

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

需要指定哪些二進(jìn)制運(yùn)算符是

交換的。重寫(xiě)等價(jià)物的幾個(gè)等式

還添加了語(yǔ)句，您可能需要添加更多。。。

我用莫德寫(xiě)了些東西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 _∨_(tái) : 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

總結(jié)

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

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。