当前位置：首页 >
离散数学(02324) > 正文内容
谓词公式∃x∃yF(x,y)→∀zG(x,y,z)的前束范式为_________。
谓词公式∃x∃yF(x,y)→∀zG(x,y,z)的前束范式为_________。
∀x ∀y ∀z(F(x,y) →G(u, v, z)) (注:u、v可以自行命名)
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。