离散数学:谓词逻辑证明题!

发布网友发布时间：2024-03-04 05:24

共1个回答

热心网友时间：2024-03-05 18:04

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

声明：本网页内容为用户发布，旨在传播知识，不代表本网认同其观点，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。E-MAIL:11247931@qq.com