当前位置：首页 > 离散数学(02324) > 正文内容

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

高老师2年前 (2024-03-26)离散数学(02324)12

证明:(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

扫描二维码免费使用微信小程序搜题/刷题/查看解析。

本文链接：https://doc.20230611.cn/post/430142.html

分享给朋友：

返回列表

上一篇：中国教授陶某2011年8月份取得如下收入：(1)工资6500元：(2)年初出版的著作加印得稿酬3000元（年初取回稿酬5000元，已纳税560元）；(3)到期国债利息1000元；(4)一次取得技术咨询收入60000元。要求：计算陶教授8月份应缴纳个人所得税是多少？(个人工资薪金税率：全月应纳税所得1500元-4500元的，税率10%．速算扣除数为105)

下一篇：高而瘦的人，服装面料应选用（______)。

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

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