用推理规则证明下式:
前提:∃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
用推理规则证明下式:前提:∃xF(x)→(∀y)((F(y)ⅤG(y))→R(y)),∃xF(x)结论:∃xR(x)。
- 2024-08-03 23:50:14
- 离散数学(02324)