离散数学：谓词逻辑证明题！（任意x）（C（x）→（W（x）∧R（x）））∧((C(x)∧Q(x))═>(存在x)（Q（x

离散数学：谓词逻辑证明题！
（任意x）（C（x）→（W（x）∧R（x）））∧((C(x)∧Q(x))═>(存在x)（Q（x）∧R（x））。
chen0330 1年前 已收到1个回答 举报

我找我哥 幼苗

共回答了8个问题采纳率：87.5% 举报

我也正在看谓词逻辑部分，对于条件联结词的蕴含式的证明有着头大！如：
∀x(A(x)→B(x))⇒ ∀xA(x)→ ∀xB(x)
∃x(A(x)→B(x))⇒ ∃xA(x)→ ∃xB(x)

1年前

1
可能相似的问题

你能帮帮他们吗

精彩回答

Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 0.012 s. - webmaster@yulucn.com