当前位置：首页 >
离散数学(02324) > 正文内容
把以下各式化为前束范式。
(1)∀x(P(x)→∃yQ(x,y));
(2)∀x (¬∃yP(x,y)）→(∃zQ(z)→R(x)))。
把以下各式化为前束范式。
(1)∀x(P(x)→∃yQ(x,y));
(2)∀x (¬∃yP(x,y)）→(∃zQ(z)→R(x)))。
(1)∀x∃y(¬P(x)ⅤQ(x,y))
(2)∀x∃y ∀z(P(x, y)Ⅴ¬Q(z)ⅤR(x))
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。