当前位置：首页 >
离散数学(02324) > 正文内容
用推理规则证明下式:
前提:(∃x)(F(x)⋀S(x))→(∀y)(M(y)→w(y)),(∃y)((y)⋀¬ w(y))
结论:(∀x)(F(x)→¬S(x))。
用推理规则证明下式:
前提:(∃x)(F(x)⋀S(x))→(∀y)(M(y)→w(y)),(∃y)((y)⋀¬ w(y))
结论:(∀x)(F(x)→¬S(x))。
证明:(1)(∃x)(F(x)⋀S(x))→(∀y)(M(y)→W(y)) P规则
(2)(∃x)(F(x)⋀S(x))→(∀y)(M(y)→W(y)) ∃-(1)
(3)(∃x)(F(x)⋀S(x))→(∀y)(-M(y)Ⅴ(y)) T(2)
(4)(∃x)(F(x)⋀S(x))→(∃y)(M(y)⋀¬w(y)) T(3)e
(5)(∃y)(M(y)⋀¬W(y)) P规则
(6)¬(∃x)(F(x)⋀S(x)) T(4)(5)E
(7)(∀x)¬(F(x)⋀S(x)) T(6)E
(8)(∀x)(¬F(x)Ⅴ¬S(x) T(7)E
(9)(∀x)(F(x)→¬S(x)) T(8)E
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。