求一道离散数学证明题 25
1个回答
展开全部
直接利用逆反律，
P→Q ⇔ ¬Q→¬P 逆反率(假言易位）
将公式改写成
¬[(∃x)A(x)∧(∃x)B(x)] ⇒ ¬[(∃x)(A(x)∧B(x))]
即
¬[(∃x)A(x)]∨¬[(∃x)B(x)] ⇒ (∀x)¬(A(x)∧B(x))
也即
(∀x)¬A(x)∨(∀x)¬B(x) ⇒ (∀x)(¬A(x)∨¬B(x))
下面，使用替换规则，将¬A(x)改为A'(x), ¬B(x)改为B'(x)
得到
(∀x)A'(x)∨(∀x)B'(x) ⇒ (∀x)(A'(x)∨B'(x))
再使用一次替换规则，将A'(x)改为A(x), B'(x)改为B(x)
得到
(∀x)A(x)∨(∀x)B(x) ⇒ (∀x)(A(x)∨B(x))
P→Q ⇔ ¬Q→¬P 逆反率(假言易位）
将公式改写成
¬[(∃x)A(x)∧(∃x)B(x)] ⇒ ¬[(∃x)(A(x)∧B(x))]
即
¬[(∃x)A(x)]∨¬[(∃x)B(x)] ⇒ (∀x)¬(A(x)∧B(x))
也即
(∀x)¬A(x)∨(∀x)¬B(x) ⇒ (∀x)(¬A(x)∨¬B(x))
下面，使用替换规则，将¬A(x)改为A'(x), ¬B(x)改为B'(x)
得到
(∀x)A'(x)∨(∀x)B'(x) ⇒ (∀x)(A'(x)∨B'(x))
再使用一次替换规则，将A'(x)改为A(x), B'(x)改为B(x)
得到
(∀x)A(x)∨(∀x)B(x) ⇒ (∀x)(A(x)∨B(x))
本回答由网友推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
上海华然企业咨询
2024-10-28 广告
作为上海华然企业咨询有限公司的一员，我们深知大模型测试对于企业数字化转型与智能决策的重要性。在应对此类测试时，我们注重数据的精准性、算法的先进性及模型的适用性，确保大模型能够精准捕捉市场动态，高效分析企业数据，为管理层提供科学、前瞻的决策支...
点击进入详情页
本回答由上海华然企业咨询提供
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
|
广告 您可能关注的内容 |
