首页 > 离散数学(02324) > 题目详情

用推理规则证明下式:前提:∃xF(x)→(∀y)((F(y)ⅤG(y))→R(y)),∃xF(x)结论:∃xR(x)。

分类: 离散数学(02324) 发布时间: 2024-08-03 23:50 浏览量: 0
用推理规则证明下式:
前提:∃xF(x)→(∀y)((F(y)ⅤG(y))→R(y)),∃xF(x)
结论:∃xR(x)。
【正确答案】：证明:(1)∃xF(x)   P规则
(2)∃xF(x)→(∀y)((F(y)ⅤG(y))→R(y))   P规则
(3)(∀y)((F(y)ⅤG(y))→R(y))   T(1)(2)I
(4)(F(y)ⅤG(y))→R(y)   ∀-3
(5)(F(y)ⅤG(y))→∃xR(x)   ∃+(4)
(6)∃xR(x)   T(1)(5)I

← 返回分类 返回首页 →

相关题目

↑